From 1ab365569d281a09eefc368ef24fcd6ce0ef30f1 Mon Sep 17 00:00:00 2001
From: Romain Vigier <romain@romainvigier.fr>
Date: Sat, 19 Feb 2022 11:48:56 +0100
Subject: [PATCH] Increase default window height

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

diff --git a/src/prefs.js b/src/prefs.js
index 8be873c..909bb33 100644
--- a/src/prefs.js
+++ b/src/prefs.js
@@ -45,5 +45,5 @@ function fillPreferencesWindow(window) {
         new ContributePage(),
     ].forEach(page => window.add(page));
     window.search_enabled = true;
-    window.set_default_size(720, 460);
+    window.set_default_size(720, 490);
 }