Deve 9dde7aee95 Use default height for spinners in gui options. ... Also move them to the left side to give more space for labels.		2019-10-18 18:12:03 +02:00
..
dialogs	Some GUI tweaks	2019-10-05 23:48:44 +02:00
icons	Show android robot icon for bots in lobby	2019-10-09 15:28:09 +08:00
screens	Use default height for spinners in gui options.	2019-10-18 18:12:03 +02:00