Disabled here: http://git.gnome.org/browse/gnome-terminal/commit/?h=gnome-2-30&id=500c2dfced7e161a02eca5d7a26f4690b3443bec
To workaround: https://bugzilla.gnome.org/show_bug.cgi?id=607875
Disabled here: http:// git.gnome. org/browse/ gnome-terminal/ commit/ ?h=gnome- 2-30&id= 500c2dfced7e161 a02eca5d7a26f46 90b3443bec
To workaround: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 607875