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 85d2040e550fe29dcce988460ea7f8ff9ecbb32a..a4542fd74cb7cc8f11f495daf6114b373e4d1a48 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js |
+++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js |
@@ -143,6 +143,8 @@ WebInspector.SourcesNavigatorView = function() |
{ |
WebInspector.NavigatorView.call(this); |
WebInspector.targetManager.addEventListener(WebInspector.TargetManager.Events.InspectedURLChanged, this._inspectedURLChanged, this); |
+ |
+ this._scriptsTree.setInteractiveFilterable(true); |
} |
WebInspector.SourcesNavigatorView.prototype = { |