Index: third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js b/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js |
index 38dc61c63571f16567b4fd50ea2f090430d13c00..8b5497dfb7b6a50a3fe2a1ae1a4bd6d8f3f85ac5 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js |
+++ b/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js |
@@ -68,6 +68,16 @@ WebInspector.SourcesTextEditor.prototype = { |
}, |
/** |
+ * @override |
+ * @param {number} lineNumber |
+ */ |
+ scrollToLine: function(lineNumber) |
+ { |
+ WebInspector.CodeMirrorTextEditor.prototype.scrollToLine.call(this, lineNumber); |
+ this._scroll(); |
+ }, |
+ |
+ /** |
* @param {!RegExp} regex |
* @param {?WebInspector.TextRange} range |
*/ |