Re: [Talk-it] font size in JOSM

2017-12-11 Per discussione Martin Koppenhoefer
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

Re: [Talk-it] font size in JOSM

2017-12-11 Per discussione emmexx
On 12/10/2017 10:58 PM, Volker Schmidt wrote: > 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. Forse si può fare avviando josm con qualche

Re: [Talk-it] font size in JOSM

2017-12-10 Per discussione 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

Re: [Talk-it] font size in JOSM

2017-12-10 Per discussione liste DOT girarsi AT posteo DOT eu
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

Re: [Talk-it] font size in JOSM

2017-12-10 Per discussione Volker Schmidt
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.

Re: [Talk-it] font size in JOSM

2017-12-10 Per discussione liste DOT girarsi AT posteo DOT 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

[Talk-it] font size in JOSM

2017-12-10 Per discussione Volker Schmidt
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 Virus-free. www.avast.com