5 Commits

Author	SHA1	Message	Date
Karl Tauber	a5e41c573f	JIDE: UIDefaultsDump: dump UI defaults added by LookAndFeelFactory.installJideExtension()	2021-03-16 11:38:49 +01:00
Karl Tauber	7f8f3aa99b	Button: undone most style changes done in previous commit related to focused and default buttons: ... - default button: white background and wide border - focused button: light blue background and thin border (the light blue default button did not look beautiful IMHO)	2021-02-01 01:08:20 +01:00
Karl Tauber	0bcdc14909	- Button: ... - In "Flat Light" theme, changed styles of focused and default buttons to avoid confusion with all other themes. Focused buttons now have a white background (was light blue) and a slightly wider border. The default button now has a light blue background (was white) and a thin border. In all other themes the default button also has colored background. - In "Flat Dark" theme, use slightly wider border for focused buttons. - CheckBox and RadioButton: In "Flat Dark" theme, use blueish background for focused components.	2021-01-31 20:02:24 +01:00
Karl Tauber	1024d6fc07	UIDefaultsDump: use DerivedColorKeys.properties to compute and dump derived colors and verify them	2021-01-16 00:39:36 +01:00
Karl Tauber	c9da4fcaf1	UI defaults: dumps moved out of resources folder to dumps/uidefaults folder	2020-09-18 14:41:15 +02:00