6 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
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	c61d717e41	added integer settings	2015-12-08 17:21:58 +01:00