Hi Charles, Wolfram, how about fixing #496784 with the attached? This seems to work for me and also work in cases where the default font has gone missing for other reasons.
Kind regards T. -- Thomas Viehmann, http://thomas.viehmann.net/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
