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 7fde4f3adafd489c0adb11aa040dc9e79d47c924..663760dd138308b51d67997ff084fc2db0056c68 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 |
*/ |