DevTools: restore selection and scrollposition between network and filesystem

third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js

 // Copyright (c) 2016 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
  * @extends {WebInspector.CodeMirrorTextEditor}
  * @param {!WebInspector.SourcesTextEditorDelegate} delegate
  */
 WebInspector.SourcesTextEditor = function(delegate)
@@ skipping 50 matching lines @@
 WebInspector.SourcesTextEditor.prototype = {
     /**
      * @return {boolean}
      */
     _isSearchActive: function()
     {
         return !!this._tokenHighlighter.highlightedRegex();
     },
 
     /**
+     * @override
+     * @param {number} lineNumber
+     */
+    scrollToLine: function(lineNumber)
+    {
+        WebInspector.CodeMirrorTextEditor.prototype.scrollToLine.call(this, lineNumber);
+        this._scroll();
+    },
+
+    /**
      * @param {!RegExp} regex
      * @param {?WebInspector.TextRange} range
      */
     highlightSearchResults: function(regex, range)
     {
         /**
          * @this {WebInspector.CodeMirrorTextEditor}
          */
         function innerHighlightRegex()
         {
@@ skipping 912 matching lines @@
         this._codeMirror.addOverlay(overlayMode);
         this._highlightDescriptor = {
             overlay: overlayMode,
             selectionStart: selectionStart
         };
     }
 }
 
 WebInspector.SourcesTextEditor.LinesToScanForIndentationGuessing = 1000;
 WebInspector.SourcesTextEditor.MaximumNumberOfWhitespacesPerSingleSpan = 16;