| 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
|
| */
|
|
|