Increase default window height

2022-02-19 11:48:56 +01:00
parent fa6b07634a
commit 1ab365569d
1 changed files with 1 additions and 1 deletions
@@ -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);
 }