font e font [file] - forse glossario

[Alessio Frusciante]

Oggi Salvo Isaja ha scritto:

> Per inciso, per me tradurre "font" in "caratteri" come nella quotatura di
> sopra è sbagliato. I caratteri sono una cosa, i font un'altra. Semmai
> "tipo di caratteri" (che mi pare stia pure nel glossario), ma è
> inutilmente lungo e pesante.
Il problema della lunghezza, peraltro, e` particolarmente sentito nel caso
di applicazioni grafiche. Ad esempio, in gnome-control-center, tradurre
"font" con "tipo di carattere" comporterebbe notevoli problemi di
dimensionamento delle finestre.

Ciao
Alessio