[Erledigt] JOSM Oberflächendesign

kreuzschnabel · 2018-08-25T06:42:11.000Z

Ich verwende JOSM unter Kubuntu 18.04 mit der „Aussehen“-Einstellung GTK+, weil das bislang ein sehr aufgeräumtes Design war und vor allem die kleine Schrift wenig Platz beansprucht, so dass in den Panelen wenig gescrollt werden muss.

Das letzte Update auf 14178 hat das Aussehen massiv verändert. Die Buttons in den Symbolleisten haben jetzt große Abstände, Texteingabefelder und Auswahllisten verhalten sich merkwürdig, Tabs und Checkboxen werden unvollständig dargestellt. Das wirkt auf einmal wie eine halbfertige GUI, vorher war es perfekt.

Änderungen in den GTK±Einstellungen auf Systemebene bewirken nichts.

Ich habe jetzt erstmal auf das Default-Design „Metal“ zurückgeschaltet, aber diese superfette Schrift wirkt auf mich, als würde ich an Windows 3.1 sitzen, oder an einem Mac Baujahr 1990

Kann ich da irgendwo schrauben, um das alte Design wiederzubekommen?

–ks

SunCobalt · 2018-08-25T07:45:57.000Z

hast Du org.openstreetmap.josm.gui.dialogs.properties.retro zufällig auf true gesetzt?

kreuzschnabel · 2018-08-25T08:28:02.000Z

SunCobalt:

hast Du org.openstreetmap.josm.gui.dialogs.properties.retro zufällig auf true gesetzt?

Nein, jedenfalls nicht bewusst, und den Schlüssel gibt es bei mir auch gar nicht:

–ks

chris66 · 2018-08-25T08:34:19.000Z

Hat sich unter Windows auch was in der GUI geändert, dann warte ich lieber noch mit dem Update?

EDIT: (Self-answer) Habe auf das aktuelle Tested upgedated und das GUI sieht genauso aus wie vorher.

SunCobalt · 2018-08-25T09:00:01.000Z

kreuzschnabel:

SunCobalt:

hast Du org.openstreetmap.josm.gui.dialogs.properties.retro zufällig auf true gesetzt?

Nein, jedenfalls nicht bewusst, und den Schlüssel gibt es bei mir auch gar nicht:

Sollte eigentlich ein Spaß sein. Tut mir leid, wenn es nicht so rüberkam und Dir Arbeit gemacht hat

kreuzschnabel · 2018-08-25T11:05:09.000Z

SunCobalt:

und Dir Arbeit gemacht hat

Ich habe mich schon so an die unmöglichsten Schlüssel in den JOSM-Einstellungen gewöhnt

–ks

kreuzschnabel · 2018-08-25T21:22:42.000Z

Ich glaube, JOSM will mich ärgern. Es trägt sich unabänderbar als bevorzugte Anwendung für GPX-Dateien des MIME-Typs x-gpx+xml ein. Versuche ich, JOSM in den Systemeinstellungen für diesen Typ auf niedrigere Priorität zu schieben, springt es sofort wieder zurück an die erste Stelle, auch wenn JOSM gar nicht läuft. Kann ich ihm das abgewöhnen?

–ks

SammysHP · 2018-08-26T07:05:18.000Z

Das liegt wohl eher an deinem Desktop Environment.

kreuzschnabel · 2018-08-26T08:37:06.000Z

SammysHP:

Das liegt wohl eher an deinem Desktop Environment.

Nicht unmöglich, aber dagegen spricht, dass ich diese Probleme a) nur mit JOSM habe und b) seit dessen letztem Update.

Edith: Das Oberflächenproblem lag an Java 10. Hab’s runtergeworfen, und mit Java 8 läuft alles wie gehabt.

–ks

MKnight · 2018-08-26T09:52:57.000Z

kreuzschnabel:

Edith: Das Oberflächenproblem lag an Java 10. Hab’s runtergeworfen, und mit Java 8 läuft alles wie gehabt.

Ich hab unter Windows keine Unterschiede zwischen Java 8,9 und 10 feststellen können.

chris66 · 2018-08-26T10:02:25.000Z

Achso, ja das Thema hatten wir ja hier schon, in Java-9 wurde das GUI Scaling etwas “verbessert”.