From 9eebb0f3eb842fe4fd1fe930bce4122276c8b449 Mon Sep 17 00:00:00 2001 From: Jeremy Wootten Date: Mon, 10 Nov 2025 20:19:49 +0000 Subject: [PATCH 1/2] Set a reasonable default size for the Preferences dialog --- src/Dialogs/PreferencesDialog.vala | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Dialogs/PreferencesDialog.vala b/src/Dialogs/PreferencesDialog.vala index ca081e591..828bab64c 100644 --- a/src/Dialogs/PreferencesDialog.vala +++ b/src/Dialogs/PreferencesDialog.vala @@ -19,6 +19,7 @@ public class Scratch.Dialogs.Preferences : Granite.Dialog { } construct { + set_default_size (100, 200); var general_box = new Gtk.Box (VERTICAL, 12); general_box.add (new Granite.HeaderLabel (_("General"))); general_box.add (new SettingSwitch (_("Save files when changed"), "autosave")); From 412edfdbf5ac9ebad8bf4bdfc8b66e51e41d87f7 Mon Sep 17 00:00:00 2001 From: Jeremy Wootten Date: Mon, 10 Nov 2025 20:36:40 +0000 Subject: [PATCH 2/2] Make unresizable rather set default size --- src/Dialogs/PreferencesDialog.vala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Dialogs/PreferencesDialog.vala b/src/Dialogs/PreferencesDialog.vala index 828bab64c..75da2faad 100644 --- a/src/Dialogs/PreferencesDialog.vala +++ b/src/Dialogs/PreferencesDialog.vala @@ -19,7 +19,7 @@ public class Scratch.Dialogs.Preferences : Granite.Dialog { } construct { - set_default_size (100, 200); + resizable = false; var general_box = new Gtk.Box (VERTICAL, 12); general_box.add (new Granite.HeaderLabel (_("General"))); general_box.add (new SettingSwitch (_("Save files when changed"), "autosave"));