Karl Tauber 42d801f123 Linux: ...

- allow user scaling mode on Linux even if running in Java 9+
- update fonts (and scaling) when user changes text size or scaling in Gnome settings

(#1)

2019-10-13 14:15:37 +02:00

..

main

Linux:

2019-10-13 14:15:37 +02:00

test

Windows: update fonts (and scaling) when user changes Windows text size

2019-10-12 20:14:18 +02:00