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?
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?