🔧 Increase default window size

2023-01-29 14:01:43 +01:00
parent da9bd8818d
commit b9a8071dd1
1 changed files with 1 additions and 0 deletions
@@ -805,6 +805,7 @@ function buildPrefsWidget() {
 }

 function fillPreferencesWindow(window) {
+  window.set_default_size(700, 700);
  var dialog = new PreferencesDialog();
  window.add(dialog.getWidget());
 }