2 commits

Author	SHA1	Message	Date
Pieter-Jan Briers	03d6697323	Add UI scale option to options menu.	2020-09-07 14:08:06 +02:00
Pieter-Jan Briers	f96f286ca4	Rework options menu. ... It's much nicer now.	2020-09-07 12:23:28 +02:00