<div dir="ltr"><div><div>Grazie per il consiglio,<br></div>ma non è quello che cerco. <br>"gui.scale.menu.font" cambia quello che dice, cioè font size dei menu. <br></div>Quello che vorrei ingrandire è il font nella finestra principale di JOSM.<br></div><div id="DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2"><br>
<table style="border-top:1px solid #d3d4de">
        <tr>
        <td style="width:55px;padding-top:13px"><a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail" target="_blank"><img src="https://ipmcdn.avast.com/images/icons/icon-envelope-tick-round-orange-animated-no-repeat-v1.gif" alt="" width="46" height="29" style="width: 46px; height: 29px;"></a></td>
                <td style="width:470px;padding-top:12px;color:#41424e;font-size:13px;font-family:Arial,Helvetica,sans-serif;line-height:18px">Virus-free. <a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail" target="_blank" style="color:#4453ea">www.avast.com</a>
                </td>
        </tr>
</table><a href="#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2" width="1" height="1"></a></div><div class="gmail_extra"><br><div class="gmail_quote">2017-12-10 19:31 GMT+01:00 liste DOT girarsi AT posteo DOT eu <span dir="ltr"><<a href="mailto:liste.girarsi@posteo.eu" target="_blank">liste.girarsi@posteo.eu</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Il 10/12/2017 19:09, Volker Schmidt ha scritto:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Divento vecchio e ho problemi con il font size in JOSM.<br>
Probabilmente anche per vecchiaia non trovo dove cambiare il font size del<br>
GUI di JOSM<br>
<br>
Grazie in anticipo<br>
<br>
</blockquote>
<br></span>
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.<br>
<br>
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.<br>
<br>
Penso dovrai riavviare ogni volta per caricare le modifiche.<span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
-- <br>
_|_|_|_|_|_|_|_|_|_<br>
|_|_|_|_|_|_|_|_|_|_|<br>
Simone Girardelli<br>
<br>
______________________________<wbr>_________________<br>
Talk-it mailing list<br>
<a href="mailto:Talk-it@openstreetmap.org" target="_blank">Talk-it@openstreetmap.org</a><br>
<a href="https://lists.openstreetmap.org/listinfo/talk-it" rel="noreferrer" target="_blank">https://lists.openstreetmap.or<wbr>g/listinfo/talk-it</a><br>
</font></span></blockquote></div><br></div>