Re: gnome-terminal has a weight problem