Hey, On 30 September 2010 10:49, <sta...@cs.tu-berlin.de> wrote: > The attached tiny patch selects a fixed font aware of unicode and works for > me.
I'm not sure what to do here, since the font you specified is in fact different, and I doubt it's standard. Keeping it as "fixed" seems the safest for now; it's unicode-aware on Debian at least (only since libdc), and you can always overload with '-fn'. cls