10 commits

Author	SHA1	Message	Date
in0finite	c512aaad1d	only reset settings if they changed	2020-05-31 19:09:51 +02:00
in0finite	9da08b7dba	settings are properly resetted	2020-05-31 19:09:51 +02:00
in0finite	d164ce3d2b	working on resetting settings to default values	2020-05-31 19:09:51 +02:00
in0finite	d8480a2522	ignore culture when saving int and float settings	2020-05-31 19:09:51 +02:00
in0finite	fc19910b3e	small improvements	2020-05-31 19:09:48 +02:00
in0finite	891ab1c719	improve Options	2020-05-31 19:09:48 +02:00
in0finite	f28aeeb82a	use box style for scroll view in options	2020-05-31 19:09:48 +02:00
in0finite	759eb3c8b8	check if int and float values are inside range when loading them	2020-05-31 19:09:48 +02:00
in0finite	d42489b7e6	font size can be configured in options	2020-05-31 19:09:48 +02:00
in0finite	039ae76a14	Initial commit	2020-05-31 19:07:22 +02:00