From c37f4169ee21b233307dd0d0db1be03aaf2a6967 Mon Sep 17 00:00:00 2001 From: Brendan Garnham Date: Fri, 23 Oct 2020 21:11:50 -0700 Subject: fix restore_window_metrics to allow downward resizing below last stored size as low as 300x300. --- magnus | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/magnus b/magnus index 1b356fc..567190e 100755 --- a/magnus +++ b/magnus @@ -28,6 +28,8 @@ class Main(object): self.window_metrics_restored = False self.decorations_height = 0 self.decorations_width = 0 + self.min_x = 300 + self.min_y = 300 self.last_x = -1 self.last_y = -1 self.refresh_interval = 250 @@ -98,7 +100,7 @@ class Main(object): # the window self.w = Gtk.ApplicationWindow.new(self.app) - self.w.set_size_request(300, 300) + self.w.set_size_request(self.min_x, self.min_y) self.w.set_title("Magnus") self.w.connect("destroy", lambda a: self.app.quit()) self.w.connect("configure-event", self.read_window_size) @@ -293,7 +295,8 @@ class Main(object): scr = self.w.get_screen() sw = float(scr.get_width()) sh = float(scr.get_height()) - self.w.set_size_request( + self.w.set_size_request(self.min_x, self.min_y) + self.w.resize( int(sw * metrics["ww"]), int(sh * metrics["wh"])) self.w.move(int(sw * metrics["wx"]), int(sh * metrics["wy"])) -- cgit From 28509c6667800076676a3af8763fa7c75f1ccd9b Mon Sep 17 00:00:00 2001 From: Brendan Garnham Date: Fri, 23 Oct 2020 23:39:30 -0700 Subject: Changed min_x and min_y to min_width and min_height for clarity. --- magnus | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/magnus b/magnus index 567190e..723f512 100755 --- a/magnus +++ b/magnus @@ -28,8 +28,8 @@ class Main(object): self.window_metrics_restored = False self.decorations_height = 0 self.decorations_width = 0 - self.min_x = 300 - self.min_y = 300 + self.min_width = 300 + self.min_height = 300 self.last_x = -1 self.last_y = -1 self.refresh_interval = 250 @@ -100,7 +100,7 @@ class Main(object): # the window self.w = Gtk.ApplicationWindow.new(self.app) - self.w.set_size_request(self.min_x, self.min_y) + self.w.set_size_request(self.min_width, self.min_height) self.w.set_title("Magnus") self.w.connect("destroy", lambda a: self.app.quit()) self.w.connect("configure-event", self.read_window_size) @@ -295,7 +295,7 @@ class Main(object): scr = self.w.get_screen() sw = float(scr.get_width()) sh = float(scr.get_height()) - self.w.set_size_request(self.min_x, self.min_y) + self.w.set_size_request(self.min_width, self.min_height) self.w.resize( int(sw * metrics["ww"]), int(sh * metrics["wh"])) self.w.move(int(sw * metrics["wx"]), int(sh * metrics["wy"])) -- cgit