DevTools: Convert TextEditor from Interface to Abstract class

third_party/WebKit/Source/devtools/front_end/console/ConsolePrompt.js

Index: third_party/WebKit/Source/devtools/front_end/console/ConsolePrompt.js
diff --git a/third_party/WebKit/Source/devtools/front_end/console/ConsolePrompt.js b/third_party/WebKit/Source/devtools/front_end/console/ConsolePrompt.js
index f0c2ff7dd76c17e60e6d8eb9316bf830f8174de4..171fdd7e76fecb08bc0a252701316fde3e18ff47 100644
--- a/third_party/WebKit/Source/devtools/front_end/console/ConsolePrompt.js
+++ b/third_party/WebKit/Source/devtools/front_end/console/ConsolePrompt.js
@@ -30,8 +30,8 @@ Console.ConsolePrompt = class extends UI.Widget {
         suggestionsCallback: this._wordsWithQuery.bind(this),
         captureEnter: true
       });
-      this._editor.widget().element.addEventListener('keydown', this._editorKeyDown.bind(this), true);
-      this._editor.widget().show(this.element);
+      this._editor.element.addEventListener('keydown', this._editorKeyDown.bind(this), true);
+      this._editor.show(this.element);
 
       this.setText(this._initialText);
       delete this._initialText;
@@ -137,7 +137,7 @@ Console.ConsolePrompt = class extends UI.Widget {
       this._editor.setSelection(Common.TextRange.createFromLocation(0, Infinity));
     else
       this.moveCaretToEndOfPrompt();
-    this.setMinimumSize(0, this._editor.widget().element.offsetHeight);
+    this.setMinimumSize(0, this._editor.element.offsetHeight);
   }
 
   /**
@@ -230,7 +230,7 @@ Console.ConsolePrompt = class extends UI.Widget {
    */
   focus() {
     if (this._editor)
-      this._editor.widget().focus();
+      this._editor.focus();
     else
       this.element.focus();
   }