Index: Source/devtools/front_end/DefaultTextEditor.js |
diff --git a/Source/devtools/front_end/DefaultTextEditor.js b/Source/devtools/front_end/DefaultTextEditor.js |
index f33c37803b76f9ba4027ee2b74b4d1ac77abe70f..fba9162466cd62d9c984849cce3058704e24584f 100644 |
--- a/Source/devtools/front_end/DefaultTextEditor.js |
+++ b/Source/devtools/front_end/DefaultTextEditor.js |
@@ -1874,7 +1874,7 @@ WebInspector.TextEditorMainPanel.prototype = { |
this.revealLine(lineNumber); |
if (!this._readOnly) |
- this._restoreSelection(WebInspector.TextRange.createFromLocation(lineNumber, 0), false); |
+ this.setSelection(WebInspector.TextRange.createFromLocation(lineNumber, 0)); |
this.addDecoration(lineNumber, "webkit-highlighted-line"); |
}, |