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) { } |