| 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 870da2b065015b0ad172bf4e937d31d14f1a8fb1..3efe70a0ba9295fda169c6b0924e64df5f13517b 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/externs.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/externs.js
|
| @@ -585,6 +585,12 @@ CodeMirror.StringStream.prototype = {
|
| sol: function() { }
|
| }
|
|
|
| +/** @constructor */
|
| +CodeMirror.TextMarker = function(doc, type) { }
|
| +CodeMirror.TextMarker.prototype = {
|
| + clear: function() { }
|
| +}
|
| +
|
| /** @type {Object.<string, !Object.<string, string>>} */
|
| CodeMirror.keyMap;
|
|
|
|
|