The preferences are now saved when clicking the OK button of the Pref window

rtgui/preferences.cc

@@ -868,6 +868,7 @@ void Preferences::fillPreferences () {
     chOverwriteOutputFile->set_active (moptions.overwriteOutputFile);
 }
 
+/*
 void Preferences::loadPressed () {
 
     moptions.copyFrom (&options);
@@ -880,12 +881,14 @@ void Preferences::savePressed () {
     options.copyFrom (&moptions);
     Options::save ();
 }
+*/
 
 void Preferences::okPressed () {
 
     storePreferences ();
     workflowUpdate();
     options.copyFrom (&moptions);   
+    Options::save ();
     hide ();
 }