Context Navigation

Changes between Initial Version and Version 1 of Ticket #3737

initial	v1
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), this way users that tampered their settings have a quick way to restore the default;
	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;
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);