4 commits

Author	SHA1	Message	Date
PlutonicOverkill	3545cfa00a	Rewrite feature to reset options to default	2017-05-09 19:50:16 +12:00
Aesylwinn	08d055ca23	Allow setting precision of double preferences. Also increase precision of camera sensitivity.	2016-03-26 14:35:03 -04:00
Marc Zinnschlag	591564566c	made user settings access thread-safe	2015-12-15 12:19:48 +01:00
Marc Zinnschlag	9ca5a1b647	added double settings	2015-12-10 10:58:38 +01:00