DevTools: migrate from ui-setting to settings extension point.

Source/devtools/front_end/main/Main.js

Index: Source/devtools/front_end/main/Main.js
diff --git a/Source/devtools/front_end/main/Main.js b/Source/devtools/front_end/main/Main.js
index 9bbfe14d4405ddb7f8a64685990fd0e0116ddec6..c486df03d69de2412f430798bd0e1892e225800e 100644
--- a/Source/devtools/front_end/main/Main.js
+++ b/Source/devtools/front_end/main/Main.js
@@ -771,29 +771,6 @@ WebInspector.Main.ZoomResetActionDelegate.prototype = {
 }
 
 /**
- * @constructor
- * @extends {WebInspector.UISettingDelegate}
- */
-WebInspector.Main.ShortcutPanelSwitchSettingDelegate = function()
-{
-    WebInspector.UISettingDelegate.call(this);
-}
-
-WebInspector.Main.ShortcutPanelSwitchSettingDelegate.prototype = {
-    /**
-     * @override
-     * @return {!Element}
-     */
-    settingElement: function()
-    {
-        var modifier = WebInspector.platform() === "mac" ? "Cmd" : "Ctrl";
-        return WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIString("Enable %s + 1-9 shortcut to switch panels", modifier), WebInspector.settings.shortcutPanelSwitch);
-    },
-
-    __proto__: WebInspector.UISettingDelegate.prototype
-}
-
-/**
  * @param {boolean} hard
  * @return {boolean}
  */