User Settings

[kb173]

Overview

The global UserSettings is responsible for keeping track of persistent user settings. Sliders, checkboxes, etc. should use UserSettings.get_setting and set_setting for setting their initial value and persisting new values. Other nodes can call UserSettings.get_setting and subscribe to UserSettings.setting_changed to react to changes.

Progress

• Volume (Sound Settings #145)
  • Effects and music
• Full Screen
• Colors (Color remapping #143)
• Controls (Input remapping #141)
• ASCII resolution
• General resolution
• Toggle stats like FPS, Latency and maybe even more! (mostly for debugging but players like it as well)

(@incredibleLeitman @AmonShokhinAhmed @DavidPgl feel free to add ideas to this list)

[kb173]

I'd say this is ready for review+merge - the other suggested settings are likely more complex and better in separate pull requests.

[AmonGruenwald]

Works well!