2 commits

Author	SHA1	Message	Date
Robbert van der Helm	b9b7903108	Add a lower limit to the GUI size scaling	2022-03-28 00:51:58 +02:00
Robbert van der Helm	772c1ecfaf	Add a resize handle widget ... This currently only works on Linux, and it causes a random white bar to be added to the bottom of the GUI.	2022-03-28 00:33:10 +02:00