2 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	4e1e749094	Fonts: added Roboto Mono (issue #638)	2023-01-12 14:08:08 +01:00