DevTools: restore selected panel upon devtools reload.

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

 /*
  * Copyright (C) 2007, 2008 Apple 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:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
  * 2.  Redistributions in binary form must reproduce the above copyright
@@ skipping 20 matching lines @@
 
 /**
  * @extends {WebInspector.VBox}
  * @constructor
  */
 WebInspector.Panel = function(name)
 {
     WebInspector.VBox.call(this);
 
     this.element.classList.add("panel");
-    this.element.setAttribute("role", "tabpanel");
     this.element.setAttribute("aria-label", name);
     this.element.classList.add(name);
     this._panelName = name;
 
     // For testing.
     WebInspector.panels[name] = this;
 
     this._shortcuts = /** !Object.<number, function(Event=):boolean> */ ({});
 }
 
 // Should by in sync with style declarations.
 WebInspector.Panel.counterRightMargin = 25;
 
 WebInspector.Panel.prototype = {
     get name()
     {
         return this._panelName;
     },
 
-    reset: function()
-    {
-    },
-
     /**
      * @return {?WebInspector.SearchableView}
      */
     searchableView: function()
     {
         return null;
     },
 
     /**
      * @override
@@ skipping 94 matching lines @@
     /**
      * @return {!WebInspector.SplitWidget}
      */
     splitWidget: function()
     {
         return this._panelSplitWidget;
     },
 
     __proto__: WebInspector.Panel.prototype
 }
-
-/**
- * @interface
- */
-WebInspector.PanelDescriptor = function()
-{
-}
-
-WebInspector.PanelDescriptor.prototype = {
-    /**
-     * @return {string}
-     */
-    name: function() {},
-
-    /**
-     * @return {string}
-     */
-    title: function() {},
-
-    /**
-     * @return {!Promise.<!WebInspector.Panel>}
-     */
-    panel: function() {}
-}
-
-/**
- * @constructor
- * @param {!Runtime.Extension} extension
- * @implements {WebInspector.PanelDescriptor}
- */
-WebInspector.ExtensionPanelDescriptor = function(extension)
-{
-    this._name = extension.descriptor()["name"];
-    this._title = WebInspector.UIString(extension.descriptor()["title"]);
-    this._extension = extension;
-}
-
-WebInspector.ExtensionPanelDescriptor.prototype = {
-    /**
-     * @override
-     * @return {string}
-     */
-    name: function()
-    {
-        return this._name;
-    },
-
-    /**
-     * @override
-     * @return {string}
-     */
-    title: function()
-    {
-        return this._title;
-    },
-
-    /**
-     * @override
-     * @return {!Promise.<!WebInspector.Panel>}
-     */
-    panel: function()
-    {
-        return  /** @type {!Promise<!WebInspector.Panel>} */(this._extension.instance());
-    }
-}