From 35710d13bdea912a621136df2ec37de7fc95a38d Mon Sep 17 00:00:00 2001
From: Romain Vigier <romain@romainvigier.fr>
Date: Fri, 18 Feb 2022 01:32:21 +0100
Subject: [PATCH] Set window default size

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

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