Workaround does NOT work with GNOME 3 under Ubuntu 12.04 LTS 32 bit. Instead, it triggers GNOME Terminal's context menu (the menu that opens when right-clicking on the terminal window).
Workaround does NOT work with GNOME 3 under Ubuntu 12.04 LTS 32 bit. Instead, it triggers GNOME Terminal's context menu (the menu that opens when right-clicking on the terminal window).