Oleg Agafonov 1f3fad6594 GUI, preferences: reworked size settings: ... - added size settings for player's panel size (closes #12455, closes #12451, closes #5605); - size settings can be edit by slider or by text edit; - size settings for fonts has preview button with real text sample; - improved some tabs and hints for better UX; - improved GUI rendering performance;		2024-07-26 03:27:10 +04:00
..
table	GUI: fixed wrong font sizes in table's and feedback panel popup hints	2024-05-07 15:33:40 +04:00
CardInfoPane.java	GUI: fixed wrong background rendering of card's popup window (related to #12261), deleted un-used code;	2024-05-20 23:19:51 +04:00
ImagePanel.java	GUI, preferences: reworked size settings:	2024-07-26 03:27:10 +04:00
ImagePanelStyle.java