Game settings manager
Game settings can change at runtime and are saved to a user settings file. Mostly useful for graphics settings.
This is about the backend, adding a Launcher and/or ingame gui for those settings is a different task.
(RM-233 from redmine: created on 2012-03-30 by scrawl ., , closed on 2012-04-02 by scrawl .)
Edited by redmine