6 commits

Author	SHA1	Message	Date
PlutonicOverkill	3545cfa00a	Rewrite feature to reset options to default	2017-05-09 19:50:16 +12:00
Aesylwinn	02f991c63e	Cleanup, fix comment	2016-04-02 14:02:56 -04: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	8050eba83b	added a few comments	2015-12-10 13:33:44 +01:00
Marc Zinnschlag	9ca5a1b647	added double settings	2015-12-10 10:58:38 +01:00