This ought to get rid of the need to manually tell gnome-terminal the same thing. I was too lazy to figure out how to get gnome-terminal to do this automatically.
Opera had no similar problems, because it uses Qt instead of GTK+. Qt also is lame, but it's relatively good with languages.