diff libgui/src/m-editor/file-editor.cc @ 16175:6f83158c714c

gui: make sure settings are really written into the settings file * files-dockwidget.cc (destructor): added sync () after writing settings * workspace-view.cc (destructor): added sync () after writing settings * files-editor.cc (mru_menu_update): added sync () after writing settings
author Torsten <ttl@justmail.de>
date Sat, 02 Mar 2013 22:31:40 +0100
parents c3057d80cf91
children 74ba79f79fcc
line wrap: on
line diff
--- a/libgui/src/m-editor/file-editor.cc
+++ b/libgui/src/m-editor/file-editor.cc
@@ -427,6 +427,7 @@
     QSettings *settings = resource_manager::get_settings ();
     // FIXME -- what should happen if settings is 0?
     settings->setValue ("editor/mru_file_list",_mru_files);
+    settings->sync ();
 }
 
 void