Context Navigation

Changes between Version 11 and Version 20 of Ticket #3737

Ticket #3737
- Property Keywords review removed
- Property Summary [PATCH] Improvements to options menu → Improvements to options menu

v11	v20
1	1	Some possible improvements to options menu. This is a follow-up of problems discussed in #3511.
2	2
3		* it would be nice to have a button to "Restore default game settings. REQUIRES GAME RESTART" that will remove any settings in user.cfg (excluding the lobby login and password to avoid users losing them, userreport.id and possibly some other setting), this way users that tampered their settings have a quick way to restore the default;
	3	* '''DONE in r17739''' ~~it would be nice to have a button to "Restore default game settings. REQUIRES GAME RESTART" that will remove any settings in user.cfg (excluding the lobby login and password to avoid users losing them, userreport.id and possibly some other setting), this way users that tampered their settings have a quick way to restore the default;~~
4	4	* sound settings value should probably be remapped to a 0-10 (or [https://en.wikipedia.org/wiki/Up_to_eleven 11] for some fun :) scale both in options menu and all config files; the engine should then remap this values to its internal values (it may be that current values already have meaning in the scale 0-10? or are percentage with a maximum of 1.0 as their initial value between 0.2 and 0.9 suggests?);
5	5	* sound settings should eventually use a slider or a combo box rather than text field (currently it is not clear what is the range);