Fix issue #3532 + a memory leak

2016-12-27 14:31:55 +01:00
parent c90b701999
commit 95f0d67dfe
3 changed files with 5 additions and 6 deletions
--- a/rtgui/preferences.cc
+++ b/rtgui/preferences.cc
@@ -105,8 +105,7 @@ Preferences::~Preferences ()
 {

    profileStore.removeListener(this);
-    options.preferencesWidth = get_width();
-    options.preferencesHeight = get_height();
+    get_size(options.preferencesWidth, options.preferencesHeight);
 }

 Gtk::Widget* Preferences::getBatchProcPanel ()