Nuovo menu fonts nelle preferenze

[kicco]

Mi sono accorto solo ora che dalla versione 4d4918e3 (17 sett) in
Tools/Preferenze/Fonts
si possono settare i font degli zoom degli Help ecc.
Fantastico, ho litigato per un po' con la finestra di Help che nel mio portatile 13" 1920x1080 risultava leggibile solo col binocolo.
Adesso potendo settarla specificatamente, risulta leggibile anche con le normali protesi (occhiali)!