DevTools: Create TextEditor Interface around CodeMirrorTextEditor

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
new file mode 100644
index 0000000000000000000000000000000000000000..d59c3058f2d2ce762b903f1421fabe838a4bfdb9
--- /dev/null
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
@@ -0,0 +1,89 @@
+/**
+ * @interface
+ */
+WebInspector.TextEditorFactory = function() { }

[dgozman, 2016/08/29 15:40:26]

{} on separate lines

[einbinder, 2016/08/29 18:06:18]

Done.

+
+WebInspector.TextEditorFactory.prototype = {
+    /**
+     * @param {!WebInspector.TextEditor.Options} options
+     * @return {!WebInspector.TextEditor}
+     */
+    createEditor: function(options) { }
+}
+
+/**
+ * @interface
+ */
+WebInspector.TextEditor = function()
+{
+}
+WebInspector.TextEditor.prototype = {

[dgozman, 2016/08/29 15:40:26]

empty line before this one

[einbinder, 2016/08/29 18:06:18]

Done.

+
+    /**
+     * @return {!WebInspector.Widget}
+     */
+    widget: function() { },
+
+    /**
+     * @return {!WebInspector.TextRange}
+     */
+    fullRange: function(){ },
+
+    /**
+     * @return {!WebInspector.TextRange}
+     */
+    selection: function() { },
+
+    /**
+     * @param {!WebInspector.TextRange} selection
+     */
+    setSelection: function(selection) { },
+
+    /**
+     * @param {!WebInspector.TextRange=} textRange
+     * @return {string}
+     */
+    text: function(textRange) { },
+
+    /**
+     * @param {string} text
+     */
+    setText: function(text) { },
+
+    /**
+     * @param {number} lineNumber
+     * @return {string}
+     */
+    line: function(lineNumber) { },
+
+    /**
+     * @param {function(!KeyboardEvent)} handler
+     */
+    addKeyDownHandler: function(handler) { },
+
+    /**
+     * @param {?WebInspector.AutocompleteConfig} config
+     */
+    configureAutocomplete: function(config) { },
+
+    clearAutocomplete: function() { }
+}
+
+/**
+ * @typedef {{
+ *  bracketMatchingSetting: (!WebInspector.Setting|undefined),
+ *  lineNumbers: boolean,
+ *  lineWrapping: boolean,
+ *  mimeType: (string|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)
+ * }}
+ **/
+WebInspector.AutocompleteConfig;