DevTools: Migrate General tab settings to extensions

Source/devtools/front_end/CodeMirrorTextEditor.js

Index: Source/devtools/front_end/CodeMirrorTextEditor.js
diff --git a/Source/devtools/front_end/CodeMirrorTextEditor.js b/Source/devtools/front_end/CodeMirrorTextEditor.js
index 2a5c328cff71bc9b466e28a8fdb985b41c5816ee..66487f20459d71f4a6787a52b9acfbc0575837f8 100644
--- a/Source/devtools/front_end/CodeMirrorTextEditor.js
+++ b/Source/devtools/front_end/CodeMirrorTextEditor.js
@@ -1730,3 +1730,29 @@ WebInspector.CodeMirrorTextEditor._overrideModeWithPrefixedTokens("xml", "xml-")
     style.textContent = backgroundColorRule + foregroundColorRule;
     document.head.appendChild(style);
 })();
+
+/**
+ * @constructor
+ * @extends {WebInspector.SelectUISettingDelegate}
+ */
+WebInspector.CodeMirrorTextEditor.EditorIndentSettingDelegate = function()
+{
+    WebInspector.SelectUISettingDelegate.call(this);
+}
+
+WebInspector.CodeMirrorTextEditor.EditorIndentSettingDelegate.prototype = {
+    /**
+     * @return {!Array.<!Array.<*>>}
+     */
+    settingOptions: function()
+    {
+        return [
+            [ WebInspector.UIString("2 spaces"), WebInspector.TextUtils.Indent.TwoSpaces ],
+            [ WebInspector.UIString("4 spaces"), WebInspector.TextUtils.Indent.FourSpaces ],
+            [ WebInspector.UIString("8 spaces"), WebInspector.TextUtils.Indent.EightSpaces ],
+            [ WebInspector.UIString("Tab character"), WebInspector.TextUtils.Indent.TabCharacter ]
+        ];
+    },
+
+    __proto__: WebInspector.SelectUISettingDelegate.prototype
+}