mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-29 13:33:18 +00:00
ccd006cccd
Instead of having the preferences dialog make a copy of all advanced preference config objects (and sorting them) every time you invoke it, this adds a new advanced_manager class instantiated once in game_launcher (not sure if that's the best place for it, though) that parses and handles the options. Allows me to greatly clean up the preferences dialog code.