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

Source/devtools/front_end/components/SearchableView.js

Index: Source/devtools/front_end/components/SearchableView.js
diff --git a/Source/devtools/front_end/components/SearchableView.js b/Source/devtools/front_end/components/SearchableView.js
index 43af570b31df68f33ae58f53d08e43d62da09a2b..f4c9de84d1de7980e40a1f024ad9ba8d9cbdb6f4 100644
--- a/Source/devtools/front_end/components/SearchableView.js
+++ b/Source/devtools/front_end/components/SearchableView.js
@@ -207,14 +207,14 @@ WebInspector.SearchableView.prototype = {
     {
         this._caseSensitiveButton.toggled = !this._caseSensitiveButton.toggled;
         this._saveSetting();
-        this._performSearch(true, true);
+        this._performSearch(false, true);
     },
 
     _toggleRegexSearch: function()
     {
         this._regexButton.toggled = !this._regexButton.toggled;
         this._saveSetting();
-        this._performSearch(true, true);
+        this._performSearch(false, true);
     },
 
     /**
@@ -365,6 +365,14 @@ WebInspector.SearchableView.prototype = {
         this._matchesElement.textContent = "";
     },
 
+    refreshSearch: function()
+    {
+        if (!this._searchIsVisible)
+            return;
+        this.resetSearch();
+        this._performSearch(false, false);
+    },
+
     /**
      * @return {boolean}
      */