DevTools: encapsulate extensible tabbed widget into the view manager.

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

 /*
  * Copyright (C) 2010 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 1246 matching lines @@
      * @param {!Array.<string>} ids
      */
     closeTabs: function(tabbedPane, ids) { },
 
     /**
      * @param {string} tabId
      * @param {!WebInspector.ContextMenu} contextMenu
      */
     onContextMenu: function(tabId, contextMenu) { }
 }
-
-/**
- * @constructor
- * @extends {WebInspector.VBox}
- * @implements {WebInspector.ViewLocation}
- * @param {string} location
- * @param {boolean=} restoreSelection
- */
-WebInspector.ExtensibleTabbedPane = function(location, restoreSelection)
-{
-    WebInspector.VBox.call(this);
-    this.element.classList.add("flex-auto");
-    this._tabbedPane = new WebInspector.TabbedPane();
-    this._tabbedPane.show(this.contentElement);
-    this._location = location;
-    /** @type {!Object.<string, !Promise.<?WebInspector.Widget>>} */
-    this._promiseForId = {};
-
-    this._tabbedPane.addEventListener(WebInspector.TabbedPane.EventTypes.TabSelected, this._tabSelected, this);
-    this._tabbedPane.addEventListener(WebInspector.TabbedPane.EventTypes.TabClosed, this._tabClosed, this);
-    this._closeableTabSetting = WebInspector.settings.createSetting(location + "-closeableTabs", {});
-    if (restoreSelection)
-        this._lastSelectedTabSetting = WebInspector.settings.createSetting(location + "-selectedTab", "");
-    this._initialize();
-}
-
-WebInspector.ExtensibleTabbedPane.prototype = {
-    /**
-     * @return {!WebInspector.TabbedPane}
-     */
-    tabbedPane: function()
-    {
-        return this._tabbedPane;
-    },
-
-    _initialize: function()
-    {
-        /** @type {!Map.<string, !Runtime.Extension>} */
-        this._extensions = new Map();
-        var extensions = self.runtime.extensions("view");
-
-        for (var i = 0; i < extensions.length; ++i) {
-            var location = extensions[i].descriptor()["location"];
-            if (location !== this._location)
-                continue;
-            var id = extensions[i].descriptor()["id"];
-            this._extensions.set(id, extensions[i]);
-            if (this._isPermanentTab(id))
-                this._appendTab(extensions[i]);
-            else if (this._isCloseableTab(id) && this._closeableTabSetting.get()[id])
-                this._appendTab(extensions[i]);
-        }
-    },
-
-    wasShown: function()
-    {
-        if (this._wasAlreadyShown || !this._lastSelectedTabSetting)
-            return;
-        this._wasAlreadyShown = true;
-        if (this._tabbedPane.hasTab(this._lastSelectedTabSetting.get()))
-            this._tabbedPane.selectTab(this._lastSelectedTabSetting.get());
-    },
-
-    /**
-     * @param {string} id
-     * @return {boolean}
-     */
-    _isPermanentTab: function(id)
-    {
-        return this._extensions.get(id).descriptor()["persistence"] === "permanent" || !this._extensions.get(id).descriptor()["persistence"];
-    },
-
-    /**
-     * @param {string} id
-     * @return {boolean}
-     */
-    _isCloseableTab: function(id)
-    {
-        return this._extensions.get(id).descriptor()["persistence"] === "closeable";
-    },
-
-    enableMoreTabsButton: function()
-    {
-        var toolbar = new WebInspector.Toolbar("drawer-toolbar");
-        toolbar.appendToolbarItem(new WebInspector.ToolbarMenuButton(this._appendTabsToMenu.bind(this)));
-        this._tabbedPane.insertBeforeTabStrip(toolbar.element);
-        this._tabbedPane.disableOverflowMenu();
-    },
-
-    /**
-     * @param {!WebInspector.ContextMenu} contextMenu
-     */
-    _appendTabsToMenu: function(contextMenu)
-    {
-        var extensions = self.runtime.extensions("view", undefined, true);
-        for (var extension of extensions) {
-            if (extension.descriptor()["location"] !== this._location)
-                continue;
-            var title = WebInspector.UIString(extension.title());
-            contextMenu.appendItem(title, this.showView.bind(this, extension.descriptor()["id"]));
-        }
-    },
-
-    /**
-     * @param {!Runtime.Extension} extension
-     */
-    _appendTab: function(extension)
-    {
-        var descriptor = extension.descriptor();
-        var id = descriptor["id"];
-        var title = WebInspector.UIString(extension.title());
-        var closeable = descriptor["persistence"] === "closeable" || descriptor["persistence"] === "temporary";
-        this._tabbedPane.appendTab(id, title, new WebInspector.Widget(), undefined, false, closeable);
-    },
-
-    /**
-     * @override
-     * @param {string} id
-     */
-    showView: function(id)
-    {
-        if (!this._tabbedPane.hasTab(id))
-            this._appendTab(/** @type {!Runtime.Extension} */(this._extensions.get(id)));
-        this._tabbedPane.focus();
-        this._tabbedPane.selectTab(id);
-    },
-
-    /**
-     * @param {!WebInspector.Event} event
-     */
-    _tabSelected: function(event)
-    {
-        var tabId = /** @type {string} */ (event.data.tabId);
-        if (this._lastSelectedTabSetting && event.data["isUserGesture"])
-            this._lastSelectedTabSetting.set(tabId);
-        if (!this._extensions.has(tabId))
-            return;
-
-        this._viewForId(tabId);
-
-        var descriptor = this._extensions.get(tabId).descriptor();
-        if (descriptor["persistence"] === "closeable") {
-            var tabs = this._closeableTabSetting.get();
-            if (!tabs[tabId]) {
-                tabs[tabId] = true;
-                this._closeableTabSetting.set(tabs);
-            }
-        }
-    },
-
-    /**
-     * @param {!WebInspector.Event} event
-     */
-    _tabClosed: function(event)
-    {
-        var id = /** @type {string} */ (event.data["tabId"]);
-        var tabs = this._closeableTabSetting.get();
-        if (tabs[id]) {
-            delete tabs[id];
-            this._closeableTabSetting.set(tabs);
-        }
-        delete this._promiseForId[id];
-    },
-
-    /**
-     * @param {string} id
-     * @return {!Promise.<?WebInspector.Widget>}
-     */
-    _viewForId: function(id)
-    {
-        if (this._promiseForId[id])
-            return this._promiseForId[id];
-
-        var promise = this._extensions.get(id).instance();
-        this._promiseForId[id] = /** @type {!Promise.<?WebInspector.Widget>} */ (promise);
-        return promise.then(cacheView.bind(this));
-
-        /**
-         * @param {!Object} object
-         * @this {WebInspector.ExtensibleTabbedPane}
-         */
-        function cacheView(object)
-        {
-            var view = /** @type {!WebInspector.Widget} */ (object);
-            this._tabbedPane.changeTabView(id, view);
-            return view;
-        }
-    },
-
-    __proto__: WebInspector.VBox.prototype
-}