| 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 229c825907e8ac6b02db30b0530c11b7a86b6f06..916e0b4bcad8cc46c024198e9438416fa59f96a3 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
|
| @@ -1438,10 +1438,8 @@ WebInspector.CodeMirrorTextEditor.prototype = {
|
|
|
| _scroll: function()
|
| {
|
| - if (this._scrollTimer)
|
| - clearTimeout(this._scrollTimer);
|
| var topmostLineNumber = this._codeMirror.lineAtHeight(this._codeMirror.getScrollInfo().top, "local");
|
| - this._scrollTimer = setTimeout(this._delegate.scrollChanged.bind(this._delegate, topmostLineNumber), 100);
|
| + this._delegate.scrollChanged(topmostLineNumber);
|
| },
|
|
|
| _focus: function()
|
|
|