[gui] remember window size + better default sizes#3814
Merged
andrei-toterman merged 11 commits intomainfrom better-window-sizeDec 20, 2024
+104-17
Commits
Commits on Dec 16, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
