DevTools: Implement the console prompt with CodeMirror

third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js

+// Copyright 2016 The Chromium Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
 /**
  * @interface
  */
 WebInspector.TextEditorFactory = function()
 {
 }
 
 WebInspector.TextEditorFactory.prototype = {
     /**
      * @param {!WebInspector.TextEditor.Options} options
@@ skipping 59 matching lines @@
     configureAutocomplete: function(config) { },
 
     clearAutocomplete: function() { }
 }
 
 /**
  * @typedef {{
  *  bracketMatchingSetting: (!WebInspector.Setting|undefined),
  *  lineNumbers: boolean,
  *  lineWrapping: boolean,
- *  mimeType: (string|undefined)
+ *  mimeType: (string|undefined),
+ *  autoHeight: (boolean|undefined)
  * }}
  **/
 WebInspector.TextEditor.Options;
 
 /**
  * @typedef {{
  *     substituteRangeCallback: ((function(number, number):?WebInspector.TextRange)|undefined),
  *     suggestionsCallback: ((function(!WebInspector.TextRange, !WebInspector.TextRange):?Promise.<!WebInspector.SuggestBox.Suggestions>)|undefined),
- *     isWordChar: ((function(string):boolean)|undefined)
+ *     isWordChar: ((function(string):boolean)|undefined),
+ *     captureEnter: (boolean|undefined)
  * }}
  **/
 WebInspector.AutocompleteConfig;