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