DevTools: Implement the console prompt with CodeMirror

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

Index: third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
index d05df07f0adb0eb76e06e18687983f0398af8b53..0a33473bed107e1cc8e5b9ec77d7fc8da086b678 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
@@ -77,7 +77,8 @@ WebInspector.TextEditor.prototype = {
  *  bracketMatchingSetting: (!WebInspector.Setting|undefined),
  *  lineNumbers: boolean,
  *  lineWrapping: boolean,
- *  mimeType: (string|undefined)
+ *  mimeType: (string|undefined),
+ *  autoHeight: (boolean|undefined)
  * }}
  **/
 WebInspector.TextEditor.Options;
@@ -86,7 +87,8 @@ 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;