2017-12-10 23:20 GMT+01:00 liste DOT girarsi AT posteo DOT eu < liste.gira...@posteo.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 > si, da quel ticket sembra che puoi scaricarti questo file: https://josm.openstreetmap.de/attachment/ticket/11752/ChangeFontSize.mapcss aprirlo con un editore di testo, contiene queste righe: node { font-size: 12; } way { font-size: 12; } area { font-size: 12; } ci metti il font-size che ti piace e salvi. Poi aggiungi questo mappaint style in JOSM -> preferenze -> stile della mappa. (o simile) (non testato). Ciao, Martin
_______________________________________________ Talk-it mailing list Talk-it@openstreetmap.org https://lists.openstreetmap.org/listinfo/talk-it
