<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2017-12-10 23:20 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:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="gmail-">Il 10/12/2017 23:14, liste DOT girarsi AT posteo DOT eu ha scritto:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Non so se ho capito giusto, ma credo siano gestite dal sistema operativo nelle opzioni dedicate alle finestre, se ti riferisci all'interfaccia.<br>
<br>
</blockquote>
<br></span>
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.<br>
<br>
<a href="https://josm.openstreetmap.de/ticket/11752" rel="noreferrer" target="_blank">https://josm.openstreetmap.de/<wbr>ticket/11752</a><div class="gmail-HOEnZb"><div class="gmail-h5"></div></div></blockquote></div></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">si, da quel ticket sembra che puoi scaricarti questo file:</div><div class="gmail_extra"><a href="https://josm.openstreetmap.de/attachment/ticket/11752/ChangeFontSize.mapcss">https://josm.openstreetmap.de/attachment/ticket/11752/ChangeFontSize.mapcss</a></div><div class="gmail_extra"><br></div><div class="gmail_extra">aprirlo con un editore di testo, contiene queste righe:</div><div class="gmail_extra"><br></div><div class="gmail_extra"><span class="gmail-nt">node</span> <span class="gmail-p">{</span> font-size<span class="gmail-o">:</span> <span class="gmail-m">12</span><span class="gmail-p">;</span> <span class="gmail-p">}</span></div><div class="gmail_extra"><span class="gmail-p"></span><span class="gmail-nt">way</span>  <span class="gmail-p">{</span> font-size<span class="gmail-o">:</span> <span class="gmail-m">12</span><span class="gmail-p">;</span> <span class="gmail-p">}</span></div><div class="gmail_extra"><span class="gmail-p"></span><span class="gmail-nt">area</span> <span class="gmail-p">{</span> font-size<span class="gmail-o">:</span> <span class="gmail-m">12</span><span class="gmail-p">;</span> <span class="gmail-p">}</span></div><div class="gmail_extra"><span class="gmail-p"><br></span></div><div class="gmail_extra"><span class="gmail-p">ci metti il font-size che ti piace e salvi. Poi aggiungi questo mappaint style in JOSM -> preferenze -> stile della mappa. (o simile)<br></span></div><div class="gmail_extra"><span class="gmail-p"><br></span></div><div class="gmail_extra"><span class="gmail-p">(non testato).<br></span></div><div class="gmail_extra"><span class="gmail-p"><br></span></div><div class="gmail_extra"><span class="gmail-p">Ciao,</span></div><div class="gmail_extra"><span class="gmail-p">Martin<br></span></div></div>