the following updated patch has been applied upstream to gnome-terminal http://git.gnome.org/browse/gnome-terminal/commit/?id=f0720f921f3e06e5773ac378fa6da78b9329972a
Thanks to Behdad Esfahbod
the following updated patch has been applied upstream to gnome-terminal git.gnome. org/browse/ gnome-terminal/ commit/ ?id=f0720f921f3 e06e5773ac378fa 6da78b9329972a
http://
Thanks to Behdad Esfahbod