Oleg Agafonov 9864cdd46c GUI, preferences: improved theme switch at runtime (fixed skip and step buttons update);		2024-07-05 18:11:09 +04:00
..
main	GUI, preferences: improved theme switch at runtime (fixed skip and step buttons update);	2024-07-05 18:11:09 +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