| Index: third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js b/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js
|
| index 0e92a7281acb713f39c9b4dfd1bdeedb79ff76de..f30c598d0cf5a0f5630c4c095ecdbfbea09561fb 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js
|
| @@ -144,22 +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}
|
| - */
|
| - function updateAnticipateJumpFlag(value)
|
| - {
|
| - this._isHandlingMouseDownEvent = value;
|
| - }
|
| - this.element.addEventListener("mousedown", updateAnticipateJumpFlag.bind(this, true), true);
|
| - this.element.addEventListener("mousedown", updateAnticipateJumpFlag.bind(this, false), false);
|
|
|
| this.element.style.overflow = "hidden";
|
| this._codeMirrorElement.classList.add("source-code");
|
|
|