Index: Source/devtools/front_end/NavigatorView.js |
diff --git a/Source/devtools/front_end/NavigatorView.js b/Source/devtools/front_end/NavigatorView.js |
index 850b2cf0f1f45fa23d02b1d4078e5fe39b2f2f9c..3599f672e90cf01921aaa20c2b03fa0392468282 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); |
}, |
/** |