[DevTools] Added keyboard search while in sources

third_party/WebKit/Source/devtools/front_end/sources/SourcesNavigator.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  * 1. Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *
@@ skipping 125 matching lines @@
 }
 
 /**
  * @constructor
  * @extends {WebInspector.NavigatorView}
  */
 WebInspector.SourcesNavigatorView = function()
 {
     WebInspector.NavigatorView.call(this);
     WebInspector.targetManager.addEventListener(WebInspector.TargetManager.Events.InspectedURLChanged, this._inspectedURLChanged, this);
+
+    this._scriptsTree.setInteractiveFilterable(true);
 }
 
 WebInspector.SourcesNavigatorView.prototype = {
     /**
      * @override
      * @param {!WebInspector.UISourceCode} uiSourceCode
      * @return {boolean}
      */
     accept: function(uiSourceCode)
     {
@@ skipping 133 matching lines @@
     /**
      * @override
      */
     sourceDeleted: function(uiSourceCode)
     {
         this._handleRemoveSnippet(uiSourceCode);
     },
 
     __proto__: WebInspector.NavigatorView.prototype
 }