5 Commits

Author	SHA1	Message	Date
Karl Tauber	97018df2f9	added Error Prone (https://errorprone.info/) and fixed reported errors and warnings ... - CI runs Error Prone with Java 11 - use Gradle task `errorprone` to run it on development machine - fixes are mostly cosmetic except: - use Locale.ENGLISH for String.toLowerCase() - use explicit character encoding when reading/writing files - TabbedPane: wrong logic in mouse-wheel scrolling - SplitPane: simplified property change listener (fixes hiding field `propertyChangeListener` of superclass)	2023-05-19 22:58:12 +02:00
Karl Tauber	adf7753617	Fonts: fixed gradle build error and javadoc warnings	2022-11-21 12:55:55 +01:00
Karl Tauber	d491847754	Fonts: support lazy font file loading (extends PRs #545 and #614)	2022-11-21 11:51:27 +01:00
Karl Tauber	ec77746a43	Fonts: support specifying preferred font family for easy using another font (e.g. Inter) for all components	2022-11-17 23:01:03 +01:00
Karl Tauber	e7d2b5cbb6	Fonts: added Inter and JetBrains Mono	2022-11-17 22:59:31 +01:00