>  It actually might be confusing though, with
> two ways of "getting rid" of a font.

Yeah -- that would be my thought. I would opt for just enable/disable  
for the time being.

J.




_______________________________________________
Etoile-discuss mailing list
[email protected]
https://mail.gna.org/listinfo/etoile-discuss

Répondre à