Index: Source/devtools/front_end/DefaultTextEditor.js |
diff --git a/Source/devtools/front_end/DefaultTextEditor.js b/Source/devtools/front_end/DefaultTextEditor.js |
index 46abbaaa7051d98339ea469651ccb3a391e3ac74..6cec4e4faba6ac6f3f7992b2efa246b2bc802969 100644 |
--- a/Source/devtools/front_end/DefaultTextEditor.js |
+++ b/Source/devtools/front_end/DefaultTextEditor.js |
@@ -1863,7 +1863,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"); |
}, |