[Talk-it] font size in JOSM

emmexx emmexx a tiscalinet.it
Lun 11 Dic 2017 08:16:11 UTC


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 parametro relativo ai font.
Alcune applicazioni java possono essere avviate in questo modo,
specificando il tipo di font e la dimensione. Però si tratta di una
soluzione che dipende dall'applicazione.
Se non hai già visto:
https://josm.openstreetmap.de/ticket/8334
https://groups.google.com/forum/#!topic/linux.debian.user/LdpbPKs9fs4

ciao
	maxx




Maggiori informazioni sulla lista Talk-it