3 commits

Author	SHA1	Message	Date
Robbert van der Helm	7b9eff456c	Update for new vizia resize patch ... This version uses a property on the context instead of events. This gets rid of all of the problems and complexity of the previous implementation.	2022-03-29 00:02:11 +02:00
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