filed gnome-terminal bug upstream and submitted patch to http://bugzilla.gnome.org/show_bug.cgi?id=576675
filed gnome-terminal bug upstream and submitted patch to http:// bugzilla. gnome.org/ show_bug. cgi?id= 576675