| Index: third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js b/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js
|
| index a4542fd74cb7cc8f11f495daf6114b373e4d1a48..85d2040e550fe29dcce988460ea7f8ff9ecbb32a 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js
|
| @@ -143,8 +143,6 @@
|
| {
|
| WebInspector.NavigatorView.call(this);
|
| WebInspector.targetManager.addEventListener(WebInspector.TargetManager.Events.InspectedURLChanged, this._inspectedURLChanged, this);
|
| -
|
| - this._scriptsTree.setInteractiveFilterable(true);
|
| }
|
|
|
| WebInspector.SourcesNavigatorView.prototype = {
|
|
|