diff --git a/qubes_config/policy_editor.glade b/qubes_config/policy_editor.glade index 4d83c62d..03c8418a 100644 --- a/qubes_config/policy_editor.glade +++ b/qubes_config/policy_editor.glade @@ -40,7 +40,6 @@ - 800 False False False @@ -103,7 +102,7 @@ - 1000 + 750 True True True @@ -147,13 +146,13 @@ - False - True + True + False - 500 + 270 True True in @@ -161,6 +160,7 @@ True False + 5 True @@ -177,7 +177,7 @@ True - True + False diff --git a/qubes_config/policy_editor/policy_editor.py b/qubes_config/policy_editor/policy_editor.py index 36bc5ef1..49ddb28d 100644 --- a/qubes_config/policy_editor/policy_editor.py +++ b/qubes_config/policy_editor/policy_editor.py @@ -184,6 +184,16 @@ def perform_setup(self): self.main_window : Gtk.ApplicationWindow = \ self.builder.get_object('main_window') + # Reserving 3 pixels for window border on all sides (most themes use 2) + # Reserving 32x2 pixels for taskbar (default on top) and Window title. + # Setting minimum supported size + self.main_window.set_size_request(1024 - 3*2, 768 - 3*2 - 32*2) + width = min(1920, self.main_window.get_screen().get_width()) + height= min(1280, self.main_window.get_screen().get_height()) + self.main_window.set_default_size(width - 3*2, height - 3*2 - 32*2) + # ToDo: Considering maximizing by default as it packs too much info. + # self.main_window.maximize() + # setup source and help header_box: Gtk.Box = self.builder.get_object('header_box') self.header_view = GtkSource.View()