3 Commits

Author	SHA1	Message	Date
Karl Tauber	aa4e013097	CheckBox and RadioButton: made focused icon better recognizable in **FlatLaf Light** and **Dark** themes by painting a 1px focus border; **Darcula** and **IntelliJ** themes are not changed	2021-11-03 11:15:17 +01:00
Karl Tauber	fb4fe175d9	UIDefaultsLoader: reduced need for {float} in properties files and in CSS styles	2021-10-29 13:33:55 +02:00
Karl Tauber	5e03eb9b51	UIDefaultsDump: removed Java 8 patch version from dump file names	2021-10-28 21:01:16 +02:00