From 39aa178b131a4006dc791eb841ccde747b8455f2 Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Fri, 23 Jan 2015 19:41:31 +0100
Subject: [PATCH] + fixes #0001925: Preferences not kept well

---
 src/Gui/DlgPreferencesImp.cpp | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/Gui/DlgPreferencesImp.cpp b/src/Gui/DlgPreferencesImp.cpp
index e52d6486ed69..d11ad2d32f79 100644
--- a/src/Gui/DlgPreferencesImp.cpp
+++ b/src/Gui/DlgPreferencesImp.cpp
@@ -36,7 +36,7 @@
 
 #include <Base/Exception.h>
 #include <Base/Console.h> 
-
+#include <App/Application.h>
 #include "DlgPreferencesImp.h"
 #include "ui_DlgPreferences.h"
 #include "PropertyPage.h"
@@ -242,6 +242,13 @@ void DlgPreferencesImp::applyChanges()
                 page->saveSettings();
         }
     }
+
+    bool saveParameter = App::GetApplication().GetParameterGroupByPath("User parameter:BaseApp/Preferences/General")->
+                          GetBool("SaveUserParameter", true);
+    if (saveParameter) {
+        ParameterManager* parmgr = App::GetApplication().GetParameterSet("User parameter");
+        parmgr->SaveDocument(App::Application::Config()["UserParameter"].c_str());
+    }
 }
 
 void DlgPreferencesImp::showEvent(QShowEvent* ev)