Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(707)

Unified Diff: third_party/WebKit/Source/devtools/front_end/externs.js

Issue 2372303003: DevTools: introduce external service client (behind experiment). (Closed)
Patch Set: external linter Created 4 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: third_party/WebKit/Source/devtools/front_end/externs.js
diff --git a/third_party/WebKit/Source/devtools/front_end/externs.js b/third_party/WebKit/Source/devtools/front_end/externs.js
index b36803e3ba7cc3711f56765d956f4b4d3d18ec83..de03ada1439c4531cefd96820b74669b5be49508 100644
--- a/third_party/WebKit/Source/devtools/front_end/externs.js
+++ b/third_party/WebKit/Source/devtools/front_end/externs.js
@@ -777,3 +777,18 @@ Gonzales.Node = function()
* TODO(jsbell): DOMException should be a subclass of Error.
*/
DOMException.prototype.message;
+
+/**
+ * @constructor
+ * @param {!Object} params
+ */
+var Terminal = function(params) { }
+
+Terminal.prototype = {
+ fit: function() { },
+ linkify: function() { },
+ /** @param {!Element} element */
+ open: function(element) { },
+ /** @param {string} eventName * @param {!Function} handler */
+ on: function(eventName, handler) { }
+}

Powered by Google App Engine
This is Rietveld 408576698