mimo 7fa2962c45 allows changing options for one session without having to save them, fixes #3511 ...

changes on text or number options are now detected without any need of
typing Return, fixes #2451
graphic options (using the renderer type) are now properly saved when
changed
sound options (using the function type) are still not saved

This was SVN commit r17625.

2016-01-10 21:41:34 +00:00

..

config

…

l10n

…

mods

allows changing options for one session without having to save them, fixes #3511

2016-01-10 21:41:34 +00:00

tests

…

tools

…