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

Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js

 /*
  * Copyright (C) 2012 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:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 537 matching lines @@
     },
 
     wasShown: function()
     {
         if (this._wasOnceShown)
             return;
         this._wasOnceShown = true;
         this._codeMirror.refresh();
     },
 
+    willHide: function()
+    {
+        delete this._editorSizeInSync;
+    },
+
     _guessIndentationLevel: function()
     {
         var tabRegex = /^\t+/;
         var tabLines = 0;
         var indents = {};
         var maxScanLines = 1000;
         function processLine(lineHandle)
         {
             var text = lineHandle.text;
             if (text.length === 0 || !WebInspector.TextUtils.isSpaceChar(text[0]))
@@ skipping 607 matching lines @@
         var height = parentElement.offsetHeight - this.element.offsetTop;
         this._codeMirror.setSize(width, height);
         this._updatePaddingBottom(width, height);
         this._codeMirror.scrollTo(scrollLeft, scrollTop);
     },
 
     onResize: function()
     {
         this._autocompleteController.finishAutocomplete();
         this._resizeEditor();
+        this._editorSizeInSync = true;
+        if (this._selectionSetScheduled) {
+            delete this._selectionSetScheduled;
+            this.setSelection(this._lastSelection);
+        }
     },
 
     /**
      * @param {!WebInspector.TextRange} range
      * @param {string} text
      * @return {!WebInspector.TextRange}
      */
     editRange: function(range, text)
     {
         var pos = WebInspector.CodeMirrorUtils.toPos(range);
@@ skipping 185 matching lines @@
     {
         return this._lastSelection;
     },
 
     /**
      * @param {!WebInspector.TextRange} textRange
      */
     setSelection: function(textRange)
     {
         this._lastSelection = textRange;
+        if (!this._editorSizeInSync) {
+            this._selectionSetScheduled = true;
+            return;
+        }
         var pos = WebInspector.CodeMirrorUtils.toPos(textRange);
         this._codeMirror.setSelection(pos.start, pos.end);
     },
 
     /**
      * @param {!Array.<!WebInspector.TextRange>} ranges
      * @param {number=} primarySelectionIndex
      */
     setSelections: function(ranges, primarySelectionIndex)
     {
@@ skipping 1042 matching lines @@
     function tokenOverride(superToken, stream, state)
     {
         var token = superToken(stream, state);
         return token ? tokenPrefix + token.split(/ +/).join(" " + tokenPrefix) : token;
     }
 }
 
 WebInspector.CodeMirrorTextEditor._overrideModeWithPrefixedTokens("css", "css-");
 WebInspector.CodeMirrorTextEditor._overrideModeWithPrefixedTokens("javascript", "js-");
 WebInspector.CodeMirrorTextEditor._overrideModeWithPrefixedTokens("xml", "xml-");