The Preference window now save it's values when clicking OK.

rtgui/preferences.cc

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