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 = { |