From ce6e6389e4c5a7010fb2f2d70eb6e318c9fdaeb0 Mon Sep 17 00:00:00 2001
From: Simon Schneegans <code@simonschneegans.de>
Date: Tue, 21 Feb 2023 20:03:24 +0100
Subject: [PATCH] :wrench: Tweak default prefs window size

---
 prefs.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prefs.js b/prefs.js
index 4503f7f..88499c2 100644
--- a/prefs.js
+++ b/prefs.js
@@ -982,7 +982,7 @@ function buildPrefsWidget() {
 // If using libadwaita, this method is called. In this case, the primary widget of the
 // preferences dialog is an Adw.PreferencesPage, which we directly add to the window.
 function fillPreferencesWindow(window) {
-  window.set_default_size(700, 700);
+  window.set_default_size(650, 750);
   var dialog = new PreferencesDialog();
   window.add(dialog.getWidget());
 }
\ No newline at end of file