| Index: Source/devtools/front_end/NavigatorView.js | 
| diff --git a/Source/devtools/front_end/NavigatorView.js b/Source/devtools/front_end/NavigatorView.js | 
| index 1896a012e12bb414852061db1cb16b11c51ff4fa..d9efc6a350c312d247d1c8e9369116b698623707 100644 | 
| --- a/Source/devtools/front_end/NavigatorView.js | 
| +++ b/Source/devtools/front_end/NavigatorView.js | 
| @@ -879,7 +879,7 @@ WebInspector.NavigatorUISourceCodeTreeNode.prototype = { | 
| this.parent.treeElement().expand(); | 
| this._treeElement.reveal(); | 
| if (select) | 
| -            this._treeElement.select(); | 
| +            this._treeElement.select(true); | 
| }, | 
|  | 
| /** | 
|  |