JOSM a GTK+ vzhled :(

Ahoj, konečně jsem se dostal k tomu, abych začal používat JOSM na Mintu 20. Je tam nastaven ten vzhled GTK+ ale problém je v tom, že písmo je moc velké. Já nevím jak se tam tak tlusté písmo dostalo, zřejmě je to tím, že původně jsem /home používal na jiném linuxu kde bylo prostředí Gnome. A pak jsem nainstaloval ten Mint, a připojil jsem tam ten /home. Tak přepokládám, že by to písmo mohlo jít změnit třeba na Arial. Ale celé je to divné, nejde mi změnit velikost toho okna kde chci vytvořit mapové podklady a vůbec nic tam nevidím protože vše je obří, ale okno je miniaturní. Přikládám foto. Po spuštění JOSM se objevují různé odkazy jako na vybrání pošty, na aktualizaci apod. Jenže já na to klikám a neděje se vůbec nic. Možná aktualizaci provést jinak? Aktuální verze je tam 15937.

Ahoj, konečně jsem se dostal k tomu, abych začal používat JOSM na Mintu 20. Je tam nastaven ten vzhled GTK+ ale problém je v tom, že písmo je moc velké. Já nevím jak se tam tak tlusté písmo dostalo, zřejmě je to tím, že původně jsem /home používal na jiném linuxu kde bylo prostředí Gnome. A pak jsem nainstaloval ten Mint, a připojil jsem tam ten /home. Tak přepokládám, že by to písmo mohlo jít změnit třeba na Arial. Ale celé je to divné, nejde mi změnit velikost toho okna kde chci vytvořit mapové podklady a vůbec nic tam nevidím protože vše je obří, ale okno je miniaturní. Přikládám foto. Po spuštění JOSM se objevují různé odkazy jako na vybrání pošty, na aktualizaci apod. Jenže já na to klikám a neděje se vůbec nic. Možná aktualizaci provést jinak? Aktuální verze je tam 15937.

Asi bych zkusil vymazat nastavení JOSM a nechal si ho přegenerovat. Mělo by stačit vymazat soubor ".config/JOSM/preferences.xml": rm ~/.config/JOSM/preferences.xml A znovu spustit JOSM. (Pro jistotu je lepší si soubor před smazáním někam zkopírovat.)

Asi bych zkusil vymazat nastavení JOSM a nechal si ho přegenerovat. Mělo by stačit vymazat soubor ".config/JOSM/preferences.xml": rm ~/.config/JOSM/preferences.xml A znovu spustit JOSM. (Pro jistotu je lepší si soubor před smazáním někam zkopírovat.)