DevTools: encapsulate extensible tabbed widget into the view manager.

third_party/WebKit/Source/devtools/front_end/settings/SettingsScreen.js

 /*
  * Copyright (C) 2013 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 26 matching lines @@
 {
     WebInspector.VBox.call(this, true);
     this.registerRequiredCSS("settings/settingsScreen.css");
 
     this.contentElement.tabIndex = 0;
     this.contentElement.classList.add("help-window-main");
     this.contentElement.classList.add("vbox");
     var settingsLabelElement = createElementWithClass("div", "help-window-label");
     settingsLabelElement.createTextChild(WebInspector.UIString("Settings"));
 
-    this._extensibleTabbedPane = new WebInspector.ExtensibleTabbedPane("settings-view");
-    var tabbedPane = this._extensibleTabbedPane.tabbedPane();
+    this._tabbedLocation = WebInspector.viewManager.createTabbedLocation("settings-view");
+    var tabbedPane = this._tabbedLocation.tabbedPane();
     tabbedPane.insertBeforeTabStrip(settingsLabelElement);
     tabbedPane.setShrinkableTabs(false);
     tabbedPane.setVerticalTabLayout(true);
     tabbedPane.appendTab("shortcuts", WebInspector.UIString("Shortcuts"), WebInspector.shortcutsScreen.createShortcutsTabView());
-    this._extensibleTabbedPane.show(this.contentElement);
+    tabbedPane.show(this.contentElement);
 
     this.element.addEventListener("keydown", this._keyDown.bind(this), false);
     this._developerModeCounter = 0;
     this.setDefaultFocusedElement(this.contentElement);
 }
 
 /**
  * @param {string=} name
  */
 WebInspector.SettingsScreen._showSettingsScreen = function(name)
 {
     var settingsScreen = /** @type {!WebInspector.SettingsScreen} */ (self.runtime.sharedInstance(WebInspector.SettingsScreen));
     var dialog = new WebInspector.Dialog();
     dialog.addCloseButton();
     settingsScreen.show(dialog.element);
     settingsScreen.selectTab(name || "preferences");
     dialog.show();
 }
 
 WebInspector.SettingsScreen.prototype = {
 
     /**
      * @override
      * @param {string} locationName
      * @return {?WebInspector.ViewLocation}
      */
-    resolveLocation: function(locationName)
+    revealLocation: function(locationName)
     {
         WebInspector.SettingsScreen._showSettingsScreen();
-        return this._extensibleTabbedPane;
+        return this._tabbedLocation;
     },
 
     /**
      * @param {string} name
      */
     selectTab: function(name)
     {
-        this._extensibleTabbedPane.showView(name);
+        this._tabbedLocation.showView(name);
     },
 
     /**
      * @param {!Event} event
      */
     _keyDown: function(event)
     {
         var shiftKeyCode = 16;
         if (event.keyCode === shiftKeyCode && ++this._developerModeCounter > 5)
             this.contentElement.classList.add("settings-developer-mode");
@@ skipping 469 matching lines @@
                 return;
             var settings = extension.descriptor()["settings"];
             if (settings && settings.indexOf(setting.name) !== -1) {
                 InspectorFrontendHost.bringToFront();
                 WebInspector.SettingsScreen._showSettingsScreen(extension.descriptor()["id"]);
                 success = true;
             }
         }
     }
 }