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