8 commits

Author	SHA1	Message	Date
Andrei Kortunov	4b257e496e	Use static settings map for launcher and editor - the Settings::Manager has a static data anyway	2022-07-12 14:56:20 +04:00
Andrei Kortunov	8ca3c3b123	Mark overrided methods by override keyword	2020-10-16 22:18:54 +04:00
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