Re: Gnome 2.12.1 and terminal