| Index: third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js b/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| similarity index 99%
|
| rename from third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js
|
| rename to third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| index 0e92a7281acb713f39c9b4dfd1bdeedb79ff76de..944f06309077c525e41541508017142b1392811b 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
|
| @@ -39,7 +39,7 @@ WebInspector.CodeMirrorTextEditor = function()
|
| this._gutters = ["CodeMirror-linenumbers"];
|
|
|
| this.registerRequiredCSS("cm/codemirror.css");
|
| - this.registerRequiredCSS("source_frame/cmdevtools.css");
|
| + this.registerRequiredCSS("text_editor/cmdevtools.css");
|
|
|
| WebInspector.CodeMirrorUtils.appendThemeStyle(this.element);
|
|
|
| @@ -144,12 +144,8 @@ WebInspector.CodeMirrorTextEditor = function()
|
| this._selectNextOccurrenceController = new WebInspector.CodeMirrorTextEditor.SelectNextOccurrenceController(this, this._codeMirror);
|
|
|
| this._codeMirror.on("changes", this._changes.bind(this));
|
| - this._codeMirror.on("gutterClick", this._gutterClick.bind(this));
|
| this._codeMirror.on("beforeSelectionChange", this._beforeSelectionChange.bind(this));
|
| - this._codeMirror.on("scroll", this._scroll.bind(this));
|
| - this._codeMirror.on("focus", this._focus.bind(this));
|
| this._codeMirror.on("keyHandled", this._onKeyHandled.bind(this));
|
| - this.element.addEventListener("contextmenu", this._contextMenu.bind(this), false);
|
|
|
| /**
|
| * @this {WebInspector.CodeMirrorTextEditor}
|
|
|