On Fri, 02 Aug 2002 16:24:50 +0200, Oliver Lemke wrote: > After the latest updates the font in the gnome-terminal changed to bigger > size and looks quite awful. On another machine there is a layer of pipe > symbols scattered across the whole terminal window. And whatever one > selects in the preferences dialog, it always uses the same font and size. > Recompilation didn't help.
This is caused by the i18n patches for libzvt.. Until it is fixed, you should disable AA for gnome-terminal (GDK_USE_XFT=0). -- Frederic Crozat MandrakeSoft
