Testing merge of master 95f0d6 into gtk3 9cf0e5

2016-12-27 17:14:45 +01:00
parent 9cf0e5c40f
commit e4f6319d1b
42 changed files with 1824 additions and 1523 deletions
--- a/rtgui/preferences.cc
+++ b/rtgui/preferences.cc
@@ -101,8 +101,7 @@ Preferences::~Preferences ()
 {

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

 Gtk::Widget* Preferences::getBatchProcPanel ()