DevTools: Split off SourcesTextEditor from CodeMirrorTextEditor

third_party/WebKit/Source/devtools/front_end/source_frame/SourceFrame.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 15 matching lines @@
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
 /**
  * @constructor
  * @extends {WebInspector.SimpleView}
  * @implements {WebInspector.Searchable}
  * @implements {WebInspector.Replaceable}
- * @implements {WebInspector.TextEditorDelegate}
+ * @implements {WebInspector.SourcesTextEditorDelegate}
  * @param {string} url
  * @param {function(): !Promise<?string>} lazyContent
  */
 WebInspector.SourceFrame = function(url, lazyContent)
 {
     WebInspector.SimpleView.call(this, WebInspector.UIString("Source"));
 
     this._url = url;
     this._lazyContent = lazyContent;
 
-    this._textEditor = new WebInspector.CodeMirrorTextEditor(this);
+    this._textEditor = new WebInspector.SourcesTextEditor(this);
 
     this._currentSearchResultIndex = -1;
     this._searchResults = [];
 
     this._textEditor.setReadOnly(!this.canEditSource());
 
     this._shortcuts = {};
     this.element.addEventListener("keydown", this._handleKeyDown.bind(this), false);
 
     this._sourcePosition = new WebInspector.ToolbarText();
@@ skipping 586 matching lines @@
     _handleKeyDown: function(e)
     {
         var shortcutKey = WebInspector.KeyboardShortcut.makeKeyFromEvent(e);
         var handler = this._shortcuts[shortcutKey];
         if (handler && handler())
             e.consume(true);
     },
 
     __proto__: WebInspector.SimpleView.prototype
 }