From 7c933235496b4773d5f43e5b6eaf3836c9ea723a Mon Sep 17 00:00:00 2001
From: Vadim Lopatin <coolreader.org@gmail.com>
Date: Wed, 4 Mar 2015 13:45:21 +0300
Subject: [PATCH] settings dialog

---
 src/dlangide/ui/frame.d    | 3 +++
 src/dlangide/ui/settings.d | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/dlangide/ui/frame.d b/src/dlangide/ui/frame.d
index 60a59ec..8e5e87d 100644
--- a/src/dlangide/ui/frame.d
+++ b/src/dlangide/ui/frame.d
@@ -633,10 +633,13 @@ class IDEFrame : AppFrame {
 	}
 
     void showPreferences() {
+        //Log.d("settings before copy:\n", _settings.setting.toJSON(true));
         Setting s = _settings.copySettings();
+        //Log.d("settings after copy:\n", s.toJSON(true));
         SettingsDialog dlg = new SettingsDialog(UIString("DlangIDE settings"d), window, s, createSettingsPages());
         dlg.onDialogResult = delegate(Dialog dlg, const Action result) {
 			if (result.id == ACTION_APPLY.id) {
+                //Log.d("settings after edit:\n", s.toJSON(true));
                 _settings.applySettings(s);
                 _settings.save();
             }
diff --git a/src/dlangide/ui/settings.d b/src/dlangide/ui/settings.d
index 269a5e8..25ac955 100644
--- a/src/dlangide/ui/settings.d
+++ b/src/dlangide/ui/settings.d
@@ -111,10 +111,10 @@ SettingsPage createSettingsPages() {
     SettingsPage res = new SettingsPage("", UIString(""d));
     SettingsPage ed = res.addChild("editors", UIString("Editors"d));
     SettingsPage texted = ed.addChild("editors/textEditor", UIString("Text Editors"d));
+    texted.addNumberEdit("editors/textEditor/tabSize", UIString("Tab size"d), 1, 16, 4);
     texted.addCheckbox("editors/textEditor/useSpacesForTabs", UIString("Use spaces for tabs"d));
     texted.addCheckbox("editors/textEditor/smartIndents", UIString("Smart indents"d));
     texted.addCheckbox("editors/textEditor/smartIndentsAfterPaste", UIString("Smart indent after paste"d));
-    //ed.setIntegerDef("tabSize", 4);
     SettingsPage ui = res.addChild("interface", UIString("Interface"d));
     //ui.setStringDef("theme", "theme_default");
     //ui.setStringDef("language", "en");