4 commits

Author	SHA1	Message	Date
PlutonicOverkill	dff3828710	Keep the settings page in sync with the real settings	2017-05-07 16:51:11 +12:00
PlutonicOverkill	64879c03e4	Add option to reset settings to default	2017-05-06 20:18:31 +12:00
Marc Zinnschlag	c61d717e41	added integer settings	2015-12-08 17:21:58 +01:00
Marc Zinnschlag	5e40b4d2e8	page switching mechanism	2015-12-08 12:04:45 +01:00