ich habe eine Lösung gefunden. Im Internet las ich in verschiedenen Foren und Hilfeseiten, unter anderem hier, dass der Parameter -Dsun.java2d.uiScale=2
eine Java-Anwendung größer skaliert.
Folgende Schritte waren notwendig:
LibreOffice-Einstellungen öffnen (Alt+F12), dort dann zu LibreOffice → Erweitert
Parameter -Dsun.java2d.uiScale=2
hinzufügen und LibreOffice neu starten.
Nun erscheint der Einstellungen-Dialog vom LanguageTool mit lesbarer Schrift.
Aber das macht man ja meist nur bei Themen, die viele betreffen. Zu diesem Thema “HiDPI+Kleine Schrift in LT-Optionen” habe ich bisher noch nichts weiter im Netz gefunden. Scheint also kein Riesen-Thema zu sein.
Office und 4K ist auch sehr unrealistisch zurzeit. Full-HD ist gerade Standard geworden, weswegen 4K noch lange dauern wird.
Vielleicht könnte das LanguageTool eine Skallierung einfügen, damit dieses Problem mit WQHD und 4K und hörer nicht mehr auftritt, denn die Auflösungen werden immer größer. Ich habe schon 8K gehört, was natürlich selten ist.