DevTools: Migrate General tab settings to extensions

Source/devtools/front_end/modules.js

 /*
  * Copyright (C) 2014 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:
  *
  * 1. Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *
@@ skipping 60 matching lines @@
                 className: "WebInspector.InspectorView.DrawerToggleActionDelegate"
             },
             {
                 type: "@WebInspector.ActionDelegate",
                 bindings: [
                     {
                         shortcut: "Alt+R"
                     }
                 ],
                 className: "WebInspector.Main.DebugReloadActionDelegate"
+            },
+            {
+                type: "ui-setting",
+                title: "Disable cache (while DevTools is open)",
+                settingName: "cacheDisabled",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Appearance",
+                title: "Split panels vertically when docked to right",
+                settingName: "splitVerticallyWhenDockedToRight",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Appearance",
+                settingType: "custom",
+                className: "WebInspector.Main.ShortcutPanelSwitchSettingDelegate"
+            },
+            {
+                type: "ui-setting",
+                section: "Extensions",
+                settingType: "custom",
+                className: "WebInspector.HandlerRegistry.OpenAnchorLocationSettingDelegate"
             }
         ]
     },
     {
         name: "elements",
         extensions: [
             {
                 type: "@WebInspector.Panel",
                 name: "elements",
                 title: "Elements",
@@ skipping 21 matching lines @@
             },
             {
                 type: "@WebInspector.Renderer",
                 contextTypes: ["WebInspector.DOMNode"],
                 className: "WebInspector.ElementsTreeOutline.Renderer"
             },
             {
                 type: "@WebInspector.Revealer",
                 contextTypes: ["WebInspector.DOMNode"],
                 className: "WebInspector.ElementsPanel.DOMNodeRevealer"
+            },
+            {
+                type: "ui-setting",
+                section: "Elements",
+                title: "Color format",
+                settingName: "colorFormat",
+                settingType: "select",
+                options: [
+                    [ "As authored", "original" ],
+                    [ "HEX: #DAC0DE", "hex", true ],
+                    [ "RGB: rgb(128, 255, 255)", "rgb", true ],
+                    [ "HSL: hsl(300, 80%, 90%)", "hsl", true ]
+                ]
+            },
+            {
+                type: "ui-setting",
+                section: "Elements",
+                title: "Show user agent styles",
+                settingName: "showUserAgentStyles",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Elements",
+                title: "Show user agent shadow DOM",
+                settingName: "showUAShadowDOM",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Elements",
+                title: "Word wrap",
+                settingName: "domWordWrap",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Elements",
+                title: "Show rulers",
+                settingName: "showMetricsRulers",
+                settingType: "checkbox"
             }
         ],
         scripts: [ "ElementsPanel.js" ]
     },
     {
         name: "network",
         extensions: [
             {
                 type: "@WebInspector.Panel",
                 name: "network",
@@ skipping 18 matching lines @@
         name: "codemirror",
         extensions: [
             {
                 type: "@WebInspector.InplaceEditor",
                 className: "WebInspector.CodeMirrorUtils"
             },
             {
               type: "@WebInspector.TokenizerFactory",
               className: "WebInspector.CodeMirrorUtils.TokenizerFactory"
             },
+            {
+                type: "ui-setting",
+                section: "Sources",
+                title: "Default indentation",
+                settingName: "textEditorIndent",
+                settingType: "select",
+                options: [
+                    ["2 spaces", "  "],
+                    ["4 spaces", "    "],
+                    ["8 spaces", "        "],
+                    ["Tab character", "\t"]
+                ]
+            }
         ],
         scripts: [ "CodeMirrorTextEditor.js" ]
     },
     {
         name: "sources",
         extensions: [
             {
                 type: "@WebInspector.Panel",
                 name: "sources",
                 title: "Sources",
@@ skipping 60 matching lines @@
                     {
                         platform: "mac",
                         shortcut: "Meta+O Meta+P"
                     },
                     {
                         platform: "windows,linux",
                         shortcut: "Ctrl+O Ctrl+P"
                     }
                 ],
                 className: "WebInspector.SourcesPanel.ShowGoToSourceDialogActionDelegate"
+            },
+            {
+                type: "ui-setting",
+                settingName: "javaScriptDisabled",
+                settingType: "custom",
+                className: "WebInspector.SourcesPanel.DisableJavaScriptSettingDelegate"
+            },
+            {
+                type: "ui-setting",
+                section: "Sources",
+                title: "Search in content scripts",
+                settingName: "searchInContentScripts",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Sources",
+                title: "Enable JavaScript source maps",
+                settingName: "jsSourceMapsEnabled",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Sources",
+                title: "Detect indentation",
+                settingName: "textEditorAutoDetectIndent",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Sources",
+                title: "Autocompletion",
+                settingName: "textEditorAutocompletion",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Sources",
+                title: "Bracket matching",
+                settingName: "textEditorBracketMatching",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Sources",
+                title: "Show whitespace characters",
+                settingName: "showWhitespacesInEditor",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Sources",
+                title: "Enable CSS source maps",
+                settingName: "cssSourceMapsEnabled",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                title: "Auto-reload generated CSS",
+                parentSettingName: "cssSourceMapsEnabled",
+                settingName: "cssReloadEnabled",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Sources",
+                experiment: "frameworksDebuggingSupport",
+                title: "Skip stepping through sources with particular names",
+                settingName: "skipStackFramesSwitch",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                experiment: "frameworksDebuggingSupport",
+                parentSettingName: "skipStackFramesSwitch",
+                settingType: "custom",
+                className: "WebInspector.SourcesPanel.SkipStackFramePatternSettingDelegate"
             }
         ],
         scripts: [ "SourcesPanel.js" ]
     },
     {
         name: "timeline",
         extensions: [
             {
                 type: "@WebInspector.Panel",
                 name: "timeline",
@@ skipping 11 matching lines @@
                 type: "@WebInspector.Panel",
                 name: "profiles",
                 title: "Profiles",
                 order: 4,
                 className: "WebInspector.ProfilesPanel"
             },
             {
                 type: "@WebInspector.ContextMenu.Provider",
                 contextTypes: ["WebInspector.RemoteObject"],
                 className: "WebInspector.ProfilesPanel.ContextMenuProvider"
+            },
+            {
+                type: "ui-setting",
+                section: "Profiler",
+                title: "Show advanced heap snapshot properties",
+                settingName: "showAdvancedHeapSnapshotProperties",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Profiler",
+                title: "High resolution CPU profiling",
+                settingName: "highResolutionCpuProfiling",
+                settingType: "checkbox"
             }
         ],
         scripts: [ "ProfilesPanel.js" ]
     },
     {
         name: "resources",
         extensions: [
             {
                 type: "@WebInspector.Panel",
                 name: "resources",
@@ skipping 45 matching lines @@
                 className: "WebInspector.ConsolePanel.ConsoleRevealer"
             },
             {
                 type: "@WebInspector.ActionDelegate",
                 bindings: [
                     {
                         shortcut: "Ctrl+`"
                     }
                 ],
                 className: "WebInspector.ConsoleView.ShowConsoleActionDelegate"
+            },
+            {
+                type: "ui-setting",
+                section: "Console",
+                title: "Log XMLHttpRequests",
+                settingName: "monitoringXHREnabled",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Console",
+                title: "Preserve log upon navigation",
+                settingName: "preserveConsoleLog",
+                settingType: "checkbox"
+            },
+            {
+                type: "ui-setting",
+                section: "Console",
+                title: "Show timestamps",
+                settingName: "consoleTimestampsEnabled",
+                settingType: "checkbox"
             }
         ],
         scripts: [ "ConsolePanel.js" ]
     },
     {
         name: "settings",
         extensions: [
             {
                 type: "@WebInspector.ActionDelegate",
                 bindings: [
@@ skipping 37 matching lines @@
         name: "handler-registry",
         extensions: [
             {
                 type: "@WebInspector.ContextMenu.Provider",
                 contextTypes: ["WebInspector.UISourceCode", "WebInspector.Resource", "WebInspector.NetworkRequest", "Node"],
                 className: "WebInspector.HandlerRegistry.ContextMenuProvider"
             }
         ]
     }
 ];