DevTools: restore selected panel upon devtools reload.

third_party/WebKit/Source/devtools/front_end/ui/View.js

 // Copyright 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.
 
 /**
  * @interface
  */
 WebInspector.View = function()
 {
 }
@@ skipping 663 matching lines @@
             var id = view.viewId();
             this._views.set(id, view);
             view[WebInspector.ViewManager._Location.symbol] = this;
             if (view.isTransient())
                 continue;
             if (!view.isCloseable())
                 this._appendTab(view);
             else if (this._closeableTabSetting.get()[id])
                 this._appendTab(view);
         }
-    },
-
-    wasShown: function()
-    {
-        if (this._wasAlreadyShown || !this._lastSelectedTabSetting)
-            return;
-        this._wasAlreadyShown = true;
-        if (this._tabbedPane.hasTab(this._lastSelectedTabSetting.get()))
+        if (this._lastSelectedTabSetting && this._tabbedPane.hasTab(this._lastSelectedTabSetting.get()))
             this._tabbedPane.selectTab(this._lastSelectedTabSetting.get());
     },
 
     /**
      * @param {!WebInspector.ContextMenu} contextMenu
      */
     _appendTabsToMenu: function(contextMenu)
     {
         for (var view of this._views.values()) {
             var title = WebInspector.UIString(view.title());
@@ skipping 219 matching lines @@
             this.appendView(view);
     },
 
     __proto__: WebInspector.ViewManager._Location.prototype
 }
 
 /**
  * @type {!WebInspector.ViewManager}
  */
 WebInspector.viewManager;