3 Commits

Author	SHA1	Message	Date
Veronica K. B. Olsen	be89dd6238	Added the option to change GUI font size	2020-05-30 22:01:55 +02:00
Veronica K. B. Olsen	2b36ed3617	Merge branch 'master' into dev	2020-05-29 21:11:13 +02:00
Veronica K. B. Olsen	fb4a1ca266	Renamed the preferences class to GuiPreferences	2020-05-28 23:07:56 +02:00