Isn't the settings dialogue for font replacement is for? I am not in front of it now, but I remember there is a font substitution setting somewhere...
Amichai. On Jan 22, 2012 5:35 PM, "Nadav Har'El" <[email protected]> wrote:
_______________________________________________ Linux-il mailing list [email protected] http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
