verified fixed in gnome-terminal 3.0.1, at least in debian.
see also http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=604287
verified fixed in gnome-terminal 3.0.1, at least in debian.
see also http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 604287