DevTools: Migrate General tab settings to extensions

Source/devtools/front_end/Main.js

Index: Source/devtools/front_end/Main.js
diff --git a/Source/devtools/front_end/Main.js b/Source/devtools/front_end/Main.js
index fcfa7d22d3f67e498a480a33c515aa0594b5ec87..ec3b632cca4d95df4b0bc0b45a88efd60a6115b2 100644
--- a/Source/devtools/front_end/Main.js
+++ b/Source/devtools/front_end/Main.js
@@ -736,6 +736,48 @@ WebInspector.Main.DebugReloadActionDelegate.prototype = {
     }
 }
 
+/**
+ * @constructor
+ * @extends {WebInspector.UISettingDelegate}
+ */
+WebInspector.Main.SplitVerticallySettingDelegate = function()
+{
+    WebInspector.UISettingDelegate.call(this);
+}
+
+WebInspector.Main.SplitVerticallySettingDelegate.prototype = {
+    /**
+     * @return {!Array.<string>}
+     */
+    titleTemplateArguments: function()
+    {
+        return [WebInspector.experimentsSettings.dockToLeft.isEnabled() ? "left or right" : "right"];

[pfeldman, 2014/03/27 15:27:14]

Dock to left is to be removed. Feel free to restore setting to "right"

[apavlov, 2014/03/28 10:21:23]

Done.

+    },
+
+    __proto__: WebInspector.UISettingDelegate.prototype
+}
+
+/**
+ * @constructor
+ * @extends {WebInspector.UISettingDelegate}
+ */
+WebInspector.Main.ShortcutPanelSwitchSettingDelegate = function()
+{
+    WebInspector.UISettingDelegate.call(this);
+}
+
+WebInspector.Main.ShortcutPanelSwitchSettingDelegate.prototype = {
+    /**
+     * @return {!Array.<string>}
+     */
+    titleTemplateArguments: function()

[pfeldman, 2014/03/27 15:27:14]

This is too complex. You should provide entire elements as a fallback.

[apavlov, 2014/03/28 10:21:23]

Done.

+    {
+        return [WebInspector.isMac() ? "Cmd" : "Ctrl"];
+    },
+
+    __proto__: WebInspector.UISettingDelegate.prototype
+}
+
 new WebInspector.Main();
 
 window.DEBUG = true;