| Index: Source/devtools/front_end/externs.js
|
| diff --git a/Source/devtools/front_end/externs.js b/Source/devtools/front_end/externs.js
|
| index 31e1faed8d9362712b250507fb354c453b78da38..d1bebe9cf0fc0dc3ceff284e7427511677869cf9 100644
|
| --- a/Source/devtools/front_end/externs.js
|
| +++ b/Source/devtools/front_end/externs.js
|
| @@ -325,6 +325,7 @@ WebInspector.AceTextEditor = function(url, delegate) { }
|
|
|
| /** @constructor */
|
| var CodeMirror = function() { }
|
| +CodeMirror.on = function(obj, type, handler) { }
|
| CodeMirror.prototype = {
|
| addKeyMap: function(map) { },
|
| addLineClass: function(handle, where, cls) { },
|
| @@ -425,6 +426,7 @@ CodeMirror.prototype = {
|
| CodeMirror.prototype.lineCount;
|
| CodeMirror.Pass;
|
| CodeMirror.showHint = function(codeMirror, hintintFunction) { };
|
| +CodeMirror.commands = {};
|
|
|
| /** @constructor */
|
| CodeMirror.Pos = function(line, ch) { }
|
|
|