Save pref window dimensions in session

1 files changed, 19 insertions, 0 deletions

diff --git a/portato/gui/windows/preference.py b/portato/gui/windows/preference.py
index 57425a0..fe1947b 100644
--- a/portato/gui/windows/preference.py
+++ b/portato/gui/windows/preference.py
@@ -81,6 +81,21 @@ class PreferenceWindow (AbstractDialog):
         # our config
         self.cfg = cfg
 
+        # the size
+        height = self.cfg.get_session("prefheight", "window")
+        if height is None:
+            height = int(gtk.gdk.screen_height() * 0.8) # see 4/5 * screen_height as maximum
+        else:
+            height = int(height)
+
+        width = self.cfg.get_session("prefwidth", "window")
+        if width is None:
+            width = -1 # default
+        else:
+            width = int(width)
+
+        self.window.resize(width, height)
+
         # the setter functions
         self.console_fn = console_fn
         self.linkbtn_fn = linkbtn_fn
@@ -216,3 +231,7 @@ class PreferenceWindow (AbstractDialog):
         store = self.setList.get_model()
         store[path][0] = not store[path][0]
         return True
+
+    def cb_size_changed (self, widget, event, *args):
+        self.cfg.set_session("prefheight", "window", event.height)
+        self.cfg.set_session("prefwidth", "window", event.width)