Oleg Agafonov 1d701df0e8 GUI: added gui scale support for skip and phase button on game panel (part of #969, #6887): ... - reworked skip and phase buttons to use layouts instead IDE designer; - added GUI scale support skip and phase buttons (depend on dialogs font size from preferences settings);		2024-07-28 18:01:15 +04:00
..
main	GUI: added gui scale support for skip and phase button on game panel (part of #969, #6887):	2024-07-28 18:01:15 +04:00
test/java/mage/client	GUI: fixed that server's lobby do not remember divider position after app restart (tables, matches and chat sizes)	2024-06-23 15:55:46 +04:00