9 commits

Author	SHA1	Message	Date
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
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
Oleg Agafonov	9864cdd46c	GUI, preferences: improved theme switch at runtime (fixed skip and step buttons update);	2024-07-05 18:11:09 +04:00
18ths	99d5eafc8a	GUI enchancements (themes, sound notification, deck validation) (#6755) ... GUI enchancements (themes, sound notification, deck validation)	2020-07-17 19:15:02 +02:00
John Hitchings	5c01b38ed6	Rename pressing to tinting. Change to behavior when leaving the rect will remove the tint (would stop tinting only when button released).	2019-03-10 23:12:48 -07:00
John Hitchings	11b93d0771	Simulate JButton behavior while still preserving check for BUTTON1 using MouseAdapter. Add a slight tint when button is pressing, but not pressed.	2019-03-10 23:02:13 -07:00
Campbell Suter	cde9afa091	Make keybound buttons cache their text, in case the keys are changed midgame	2016-10-20 12:49:58 +13:00
Campbell Suter	b4dc47fbc9	Improve keybinding buttons, add information	2016-10-20 12:36:18 +13:00
Campbell Suter	5ea636126f	Make the text on the playing buttons update with the current keybinds	2016-10-20 12:36:18 +13:00