DevTools: Fix the way search works when switching between editor tabs.

Source/devtools/front_end/sources/SourcesView.js

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 /**
  * @constructor
  * @implements {WebInspector.TabbedEditorContainerDelegate}
  * @implements {WebInspector.Searchable}
  * @implements {WebInspector.Replaceable}
  * @extends {WebInspector.VBox}
@@ skipping 462 matching lines @@
     {
         var uiSourceCode = /** @type {!WebInspector.UISourceCode} */ (event.data.currentFile);
         var shouldUseHistoryManager = uiSourceCode !== this._currentUISourceCode && event.data.userGesture;
         if (shouldUseHistoryManager)
             this._historyManager.updateCurrentState();
         var sourceFrame = this._showFile(uiSourceCode);
         if (shouldUseHistoryManager)
             this._historyManager.pushNewState();
 
         this._searchableView.setReplaceable(!!sourceFrame && sourceFrame.canEditSource());
-        this._searchableView.resetSearch();
+        this._searchableView.refreshSearch();
 
         this.dispatchEventToListeners(WebInspector.SourcesView.Events.EditorSelected, uiSourceCode);
     },
 
     /**
      * @param {!WebInspector.UISourceCode} uiSourceCode
      */
     sourceRenamed: function(uiSourceCode)
     {
         this._recreateSourceFrameIfNeeded(uiSourceCode);
@@ skipping 308 matching lines @@
         var currentUISourceCode = sourcesView.currentUISourceCode();
         if (!currentUISourceCode)
             return true;
         var nextUISourceCode = WebInspector.SourcesView.SwitchFileActionDelegate._nextFile(currentUISourceCode);
         if (!nextUISourceCode)
             return true;
         sourcesView.showSourceLocation(nextUISourceCode);
         return true;
     }
 }