use deault width or preferences window

2026-04-14 00:04:17 +09:00 · 2022-04-09 17:30:05 +02:00
parent ff3235222d
commit 0ef521d39d
1 changed files with 2 additions and 1 deletions
--- a/prefs.js
+++ b/prefs.js
@@ -2348,7 +2348,8 @@ function init() {
 }

 function fillPreferencesWindow(window) {
-    window.set_default_size(680, 740);
+    // use default width or window
+    window.set_default_size(0, 740);

    let preferences = new Preferences(window);
 }