From 6f980557d3592b24a4e95c777a3a8898725d314f Mon Sep 17 00:00:00 2001 From: trigg Date: Mon, 28 Sep 2020 23:39:11 +0100 Subject: [PATCH] - Close & save placement window on closing a settings window. Fixes #40 --- discover_overlay/discover_overlay.py | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/discover_overlay/discover_overlay.py b/discover_overlay/discover_overlay.py index 3e3b64b..fd6eff3 100755 --- a/discover_overlay/discover_overlay.py +++ b/discover_overlay/discover_overlay.py @@ -546,6 +546,17 @@ class SettingsWindow(Gtk.Window): self.read_config() def close_window(self,a=None,b=None): + if self.placement_window: + (x,y) = self.placement_window.get_position() + (w,h) = self.placement_window.get_size() + self.floating_x = x + self.floating_y = y + self.floating_w = w + self.floating_h = h + self.overlay.set_floating(True, x, y, w, h) + self.save_config() + self.placement_window.close() + self.placement_window=None self.hide() return True