[Talk-it] font size in JOSM

[liste DOT girarsi AT posteo DOT eu]

Il 10/12/2017 23:14, liste DOT girarsi AT posteo DOT eu ha scritto:
> Non so se ho capito giusto, ma credo siano gestite dal sistema operativo 
> nelle opzioni dedicate alle finestre, se ti riferisci all'interfaccia.
> 

Se invece ti riferivi ai font della mappa, ho trovato questa 
segnalazione, da quanto ho capito c'è da mettermano al file dello style 
della mappa, oppure, credo, caricare il file allegato in quella 
segnalazione, per modificare i font, modificando in precedenza il valore 
testuale.

https://josm.openstreetmap.de/ticket/11752


-- 
_|_|_|_|_|_|_|_|_|_
|_|_|_|_|_|_|_|_|_|_|
Simone Girardelli