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.
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail> Virus-free. www.avast.com <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail> <#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2> 2017-12-10 19:31 GMT+01:00 liste DOT girarsi AT posteo DOT eu < liste.gira...@posteo.eu>: > Il 10/12/2017 19:09, Volker Schmidt ha scritto: > >> Divento vecchio e ho problemi con il font size in JOSM. >> Probabilmente anche per vecchiaia non trovo dove cambiare il font size del >> GUI di JOSM >> >> Grazie in anticipo >> >> > Nelle preferenze, se non l'hai già fatto flagga "Modalità avanzata" (in > fondo alla finestrella), poi clicca sul pulsante con l'icona della chiave > inglese su un foglio bianco. > > Ti compare un listato tipo i settaggi avanzati del browser, nella casella > di ricerca metti "font" (senza virgolette", e poi vedi quali valori > cambiare, penso "gui.scale.menu.font", non ho provato), però devi farti > qualche prova per vedere se funziona tra quelle voci ricercate, ovviamente > segnati i valori di default. > > Penso dovrai riavviare ogni volta per caricare le modifiche. > > > -- > _|_|_|_|_|_|_|_|_|_ > |_|_|_|_|_|_|_|_|_|_| > Simone Girardelli > > _______________________________________________ > Talk-it mailing list > Talk-it@openstreetmap.org > https://lists.openstreetmap.org/listinfo/talk-it >
_______________________________________________ Talk-it mailing list Talk-it@openstreetmap.org https://lists.openstreetmap.org/listinfo/talk-it
