4 commits

Author	SHA1	Message	Date
drfrag	a66bb6ad16	- Cosmetic changes.	2019-07-15 20:38:44 +02:00
Christoph Oelckers	f77336b25c	- fixed: The color sliders in the player setup menu may not be selected when inactive.	2019-07-15 20:38:29 +02:00
Christoph Oelckers	2577c0843e	- adjustments to the player menu so that the display isn't cut off on the smallest screen sizes.	2019-07-15 20:38:26 +02:00
Christoph Oelckers	bba2854796	- reimplemented new player setup menu 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. # Conflicts: # src/menu/menudef.cpp # src/namedef.h # wadsrc/static/zscript/ui/menu/optionmenu.zs	2019-07-15 20:37:36 +02:00