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

Source/devtools/front_end/source_frame/SourceFrame.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:
  *
  *     * 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 472 matching lines @@
     },
 
     searchCanceled: function()
     {
         var range = this._currentSearchResultIndex !== -1 ? this._searchResults[this._currentSearchResultIndex] : null;
         this._resetSearch();
         if (!this.loaded)
             return;
         this._textEditor.cancelSearchResultsHighlight();
         if (range)
-            this._textEditor.setSelection(range);
+            this.setSelection(range);
     },
 
     /**
      * @return {boolean}
      */
     hasSearchResults: function()
     {
         return this._searchResults.length > 0;
     },
 
@@ skipping 531 matching lines @@
 
     /**
      * @param {?WebInspector.TextRange} from
      * @param {?WebInspector.TextRange} to
      */
     onJumpToPosition: function(from, to)
     {
         this._sourceFrame.onJumpToPosition(from, to);
     }
 }