DevTools: Always construct CodeMirror explicitly, via "new"

Source/devtools/front_end/externs.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 16 matching lines @@
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
 // WebKit Web Facing API
 
 /** @type {boolean} */
 Event.prototype.isMetaOrCtrlForTest;
 
 /**
- * @constructor
- * @extends {KeyboardEvent}
- * @param {string} eventType
- * @param {!Object=} properties
- */
-window.KeyboardEvent = function(eventType, properties) {}
-
-/**
  * @type {number}
  */
 KeyboardEvent.DOM_KEY_LOCATION_NUMPAD;
 
+// FIXME: Remove after the Closure compiler roll.
 /** @param {*} message */
 function postMessage(message) {}
 
 /**
  * @param {string} eventName
  * @param {!Function} listener
  * @param {boolean=} capturing
  */
 function addEventListener(eventName, listener, capturing) {}
 
@@ skipping 249 matching lines @@
 }
 
 /* jsdifflib API */
 var difflib = {};
 difflib.stringAsLines = function(text) { return []; }
 /** @constructor */
 difflib.SequenceMatcher = function(baseText, newText) { }
 difflib.SequenceMatcher.prototype.get_opcodes = function() { return []; }
 
 /** @constructor */
-var CodeMirror = function() { }
+var Doc = function() { }
+Doc.prototype = {
+    /** @type {number} */
+    scrollLeft: 0,
+    /** @type {number} */
+    scrollTop: 0
+}
+
+/** @constructor */
+var CodeMirror = function(element, config) { }
 CodeMirror.on = function(obj, type, handler) { }
 CodeMirror.prototype = {
+    /** @type {!Doc} */
+    doc: null,
     addKeyMap: function(map) { },
     addLineClass: function(handle, where, cls) { },
+    /** @param {?Object=} options */
     addLineWidget: function(handle, node, options) { },
     /**
      * @param {string|!Object} spec
      * @param {!Object=} options
      */
     addOverlay: function(spec, options) { },
     addWidget: function(pos, node, scroll, vert, horiz) { },
     charCoords: function(pos, mode) { },
     clearGutter: function(gutterID) { },
     clearHistory: function() { },
     clipPos: function(pos) { },
+    /** @param {string=} mode */
     coordsChar: function(coords, mode) { },
+    /** @param {string=} mode */
     cursorCoords: function(start, mode) { },
     defaultCharWidth: function() { },
     defaultTextHeight: function() { },
     deleteH: function(dir, unit) { },
+    /**
+     * @param {*=} to
+     * @param {*=} op
+     */
     eachLine: function(from, to, op) { },
     execCommand: function(cmd) { },
     extendSelection: function(from, to) { },
     findMarksAt: function(pos) { },
     findMatchingBracket: function() { },
     findPosH: function(from, amount, unit, visually) { },
     findPosV: function(from, amount, unit, goalColumn) { },
     firstLine: function() { },
     focus: function() { },
     getAllMarks: function() { },
     /** @param {string=} start */
     getCursor: function(start) { },
     getDoc: function() { },
     getGutterElement: function() { },
     getHistory: function() { },
     getInputField: function(){ },
     getLine: function(line) { },
     /**
      * @return {!{wrapClass: string}}
      */
     getLineHandle: function(line) { },
     getLineNumber: function(line) { },
     getMode: function() { },
     getOption: function(option) { },
+    /** @param {*=} lineSep */
     getRange: function(from, to, lineSep) { },
     /**
      * @return {!{left: number, top: number, width: number, height: number, clientWidth: number, clientHeight: number}}
      */
     getScrollInfo: function() { },
     getScrollerElement: function() { },
     getSelection: function() { },
     getSelections: function() { },
     getStateAfter: function(line) { },
     getTokenAt: function(pos) { },
+    /** @param {*=} lineSep */
     getValue: function(lineSep) { },
     getViewport: function() { },
     getWrapperElement: function() { },
     hasFocus: function() { },
     historySize: function() { },
     indentLine: function(n, dir, aggressive) { },
     indentSelection: function(how) { },
     indexFromPos: function(coords) { },
     isClean: function() { },
     iterLinkedDocs: function(f) { },
@@ skipping 15 matching lines @@
     on: function(type, f) { },
     operation: function(f) { },
     posFromIndex: function(off) { },
     redo: function() { },
     refresh: function() { },
     removeKeyMap: function(map) { },
     removeLine: function(line) { },
     removeLineClass: function(handle, where, cls) { },
     removeLineWidget: function(widget) { },
     removeOverlay: function(spec) { },
+    /** @param {*=} origin */
     replaceRange: function(code, from, to, origin) { },
     replaceSelection: function(code, collapse, origin) { },
+    /** @param {*=} margin */
     scrollIntoView: function(pos, margin) { },
     scrollTo: function(x, y) { },
     setBookmark: function(pos, options) { },
     setCursor: function(line, ch, extend) { },
     setExtending: function(val) { },
     setGutterMarker: function(line, gutterID, value) { },
     setHistory: function(histData) { },
     setLine: function(line, text) { },
     setOption: function(option, value) { },
     setSelection: function(anchor, head) { },
-    setSelections: function(selections) { },
+    /**
+     * @param {number=} primaryIndex
+     * @param {?Object=} config
+     */
+    setSelections: function(selections, primaryIndex, config) { },
     setSize: function(width, height) { },
     setValue: function(code) { },
     somethingSelected: function() { },
     swapDoc: function(doc) { },
     undo: function() { },
     unlinkDoc: function(other) { }
 }
 /** @type {!{cursorDiv: Element}} */
 CodeMirror.prototype.display;
+/** @type {!Object} */
 CodeMirror.Pass;
 CodeMirror.showHint = function(codeMirror, hintintFunction) { };
 CodeMirror.commands = {};
 CodeMirror.modes = {};
 CodeMirror.mimeModes = {};
 CodeMirror.getMode = function(options, spec) { };
 CodeMirror.overlayMode = function(mode1, mode2, squashSpans) { };
 CodeMirror.defineMode = function(modeName, modeConstructor) { };
 CodeMirror.startState = function(mode) { };
 
 /** @constructor */
 CodeMirror.Pos = function(line, ch) { }
-/** type {number} */
+/** @type {number} */
 CodeMirror.Pos.prototype.line;
-/** type {number} */
+/** @type {number} */
 CodeMirror.Pos.prototype.ch;
 
 /** @constructor */
 CodeMirror.StringStream = function(line)
 {
     this.pos = 0;
     this.start = 0;
 }
 CodeMirror.StringStream.prototype = {
     backUp: function (n) { },
@@ skipping 27 matching lines @@
  * @constructor
  * @extends {Event}
  */
 function ErrorEvent() {}
 
 /** @type {string} */
 ErrorEvent.prototype.message;
 
 /** @type {boolean} */
 window.dispatchStandaloneTestRunnerMessages;