From 2de1c0d9a2e9485a0bd153c58e57551c53c4ade6 Mon Sep 17 00:00:00 2001 From: Stuart Langridge Date: Thu, 20 Jun 2019 17:13:39 +0100 Subject: Save the settings when zoomlevel changes as well as when window position changes --- magnus | 1 + 1 file changed, 1 insertion(+) diff --git a/magnus b/magnus index be4f407..8f48335 100755 --- a/magnus +++ b/magnus @@ -172,6 +172,7 @@ class Main(object): def set_zoom(self, zoom): self.zoomlevel = int(zoom.get_active_text()[0]) self.poll(force_refresh=True) + self.serialise() def read_window_size(self, *args): loc = self.w.get_size() -- cgit