Using Ubuntu 12.04.2 LTS and gnome-terminal 3.4.1.1, on Gnome Shell 3.4.1-0ubuntu2, bug still exists.
Using Ubuntu 12.04.2 LTS and gnome-terminal 3.4.1.1, on Gnome Shell 3.4.1-0ubuntu2, bug still exists.