[Talk-it] font size in JOSM

Volker Schmidt voschix a gmail.com
Dom 10 Dic 2017 21:58:51 UTC


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.girarsi a 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 a openstreetmap.org
> https://lists.openstreetmap.org/listinfo/talk-it
>
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: <http://lists.openstreetmap.org/pipermail/talk-it/attachments/20171210/ef757d1a/attachment.html>


Maggiori informazioni sulla lista Talk-it