From b9a8071dd135a1ebc8229ca3bde789b28cd53bfb Mon Sep 17 00:00:00 2001
From: Simon Schneegans <code@simonschneegans.de>
Date: Sun, 29 Jan 2023 14:01:43 +0100
Subject: [PATCH] :wrench: Increase default window size

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

diff --git a/prefs.js b/prefs.js
index 2021052..40f889a 100644
--- a/prefs.js
+++ b/prefs.js
@@ -805,6 +805,7 @@ function buildPrefsWidget() {
 }
 
 function fillPreferencesWindow(window) {
+  window.set_default_size(700, 700);
   var dialog = new PreferencesDialog();
   window.add(dialog.getWidget());
 }
\ No newline at end of file