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

Source/devtools/front_end/main/Main.js

 /*
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * 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
@@ skipping 753 matching lines @@
     {
         if (InspectorFrontendHost.isHostedMode())
             return false;
 
         InspectorFrontendHost.resetZoom();
         return true;
     }
 }
 
 /**
- * @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}
  */
 WebInspector.Main._reloadPage = function(hard)
 {
     if (!WebInspector.targetManager.hasTargets())
         return false;
     if (WebInspector.targetManager.mainTarget().isServiceWorker())
         return false;
     WebInspector.targetManager.reloadPage(hard);
@@ skipping 179 matching lines @@
     _settingChanged: function(event)
     {
         var value = this._setting.get();
         var targets = WebInspector.OverridesSupport.targetsSupportingEmulation();
         for (var i = 0; i < targets.length; ++i)
             targets[i].emulationAgent().setScriptExecutionDisabled(value);
     }
 }
 
 new WebInspector.Main();