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 3d2ac153a6d7b86a2c5a9aa32a7ed34eaecffa21..5b31e5ebe8ceb50bb70f10785d0ad586d5080c1e 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/externs.js |
+++ b/third_party/WebKit/Source/devtools/front_end/externs.js |
@@ -408,6 +408,7 @@ CodeMirror.prototype = { |
eachLine: function(from, to, op) { }, |
execCommand: function(cmd) { }, |
extendSelection: function(from, to) { }, |
+ findMarks: function(from, to) { }, |
findMarksAt: function(pos) { }, |
/** |
* @param {!CodeMirror.Pos} from |
@@ -588,7 +589,8 @@ CodeMirror.StringStream.prototype = { |
/** @constructor */ |
CodeMirror.TextMarker = function(doc, type) { } |
CodeMirror.TextMarker.prototype = { |
- clear: function() { } |
+ clear: function() { }, |
+ find: function() { } |
} |
/** @type {Object.<string, !Object.<string, string>>} */ |