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