Thanks for your bugreport, which version of gnome-terminal do you use? I took the report upstream: http://bugs.gnome.org/show_bug.cgi?id=317348
Thanks for your bugreport, which version of gnome-terminal do you use? I took bugs.gnome. org/show_ bug.cgi? id=317348
the report upstream: http://