Il 10/12/2017 22:58, Volker Schmidt ha scritto:
Grazie per il consiglio, ma non è quello che cerco. "gui.scale.menu.font" cambia quello che dice, cioè font size dei menu. Quello che vorrei ingrandire è il font nella finestra principale di JOSM.
Non so se ho capito giusto, ma credo siano gestite dal sistema operativo nelle opzioni dedicate alle finestre, se ti riferisci all'interfaccia.
-- _|_|_|_|_|_|_|_|_|_ |_|_|_|_|_|_|_|_|_|_| Simone Girardelli _______________________________________________ Talk-it mailing list Talk-it@openstreetmap.org https://lists.openstreetmap.org/listinfo/talk-it