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