DevTools: Convert TextEditor from Interface to Abstract class

third_party/WebKit/Source/devtools/front_end/coverage/CoverageView.js

 // Copyright (c) 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.
 
 Coverage.CoverageView = class extends UI.VBox {
   constructor() {
     super(true);
 
     /** @type {?Coverage.CoverageModel} */
     this._model = null;
@@ skipping 104 matching lines @@
   }
 };
 
 /**
  * @implements {SourceFrame.UISourceCodeFrame.LineDecorator}
  */
 Coverage.CoverageView.LineDecorator = class {
   /**
    * @override
    * @param {!Workspace.UISourceCode} uiSourceCode
-   * @param {!TextEditor.CodeMirrorTextEditor} textEditor
+   * @param {!SourceFrame.SourcesTextEditor} textEditor
    */
   decorate(uiSourceCode, textEditor) {
     var gutterType = 'CodeMirror-gutter-coverage';
 
     var decorations = uiSourceCode.decorationsForType(Coverage.CoverageView.LineDecorator.type);
     textEditor.uninstallGutter(gutterType);
     if (!decorations || !decorations.size)
       return;
 
     textEditor.installGutter(gutterType, false);
@@ skipping 26 matching lines @@
    */
   handleAction(context, actionId) {
     var coverageViewId = 'coverage';
     UI.viewManager.showView(coverageViewId)
         .then(() => UI.viewManager.view(coverageViewId).widget())
         .then(widget => /** @type !Coverage.CoverageView} */ (widget)._toggleRecording());
 
     return true;
   }
 };