| 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");
|
| },
|
|
|