On Sun, 2002-08-04 at 10:57, Eugenio Diaz wrote:
> After the latest upgrade, I can not change the font in gnome-terminal; 
> more precisely, I can change it in the profile preferences, but has no 
> effect on the window.
> 
downgrade to libzvt-2.0_0-2.0.1-1mdk
=o=
kk1


Reply via email to