[Talk-it] font size in JOSM

[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 gestite dal sistema operativo 
nelle opzioni dedicate alle finestre, se ti riferisci all'interfaccia.

-- 
_|_|_|_|_|_|_|_|_|_
|_|_|_|_|_|_|_|_|_|_|
Simone Girardelli