3 commits

Author	SHA1	Message	Date
Christoph Oelckers	a5d743cc3b	- fixed: The color sliders in the player setup menu may not be selected when inactive.	2019-04-19 07:50:52 +02:00
Christoph Oelckers	35186e9fd7	- adjustments to the player menu so that the display isn't cut off on the smallest screen sizes.	2019-04-18 00:16:09 +02:00
Christoph Oelckers	c45c7cdb4b	- reimplemented as an OptionsMenu. ... This is both for consistency and better localizability. The old code is retained to ensure that mods inheriting from the old menu continue to work.	2019-04-14 14:03:24 +02:00