JOSM Menu-Elemente sehr klein

[Mond00]

ich hatte auch das Problem der zu kleinen Darstellung mit folgender Einstellung ist es besser geworden
Windows 10 mit Update aus Oktober und Java 8

• JOSM Symbol auf dem Desktop erstellen
• Rechte Maustaste auf dem JOSM Symbol drücken
• Eigenschaften auswählen
• Kompatibilität auswählen
• Haken setzen bei: Verhalten bei hoher DPI Skalierung …, dann System auswählen
• Übernehmen drücken

Danach ist das Startfenster und die Symbole größer geworden.

Der Kartenstil HiDPI in JOSM ist bisher mit aktiv

[chris66]

@bastik

Auf der neuen Wiki-Seite https://josm.openstreetmap.de/wiki/Help/HiDPISupport (englisch) gibt es ein paar Tipps, mit denen du das Hauptmenü nach deinen Vorstellungen trimmen kannst.

Des weiteren gibt’s noch die java-Optionen
-Dsun.java2d.uiScale=2 (nur Integers erlaubt).
und
-Dsun.java2d.dpiaware=true/false
mit denen man rumspielen kann.

Habe das Problem derzeit unter Manjaro_Linux, wo die System DPI-Einstellung anscheinend nicht an Java(v11) durchgereicht wird (gui.scale.menu.font habe ich noch nicht getestet).