[Erledigt] JOSM Oberflächendesign

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