On 12.04 64-bit it is fixed now, though, issue for gnome terminal still is not resolved: see Bug #987971 "Gnome-terminal shows pop-up menu after pressing F10"
On 12.04 64-bit it is fixed now, though, issue for gnome terminal still is not resolved: see Bug #987971 "Gnome-terminal shows pop-up menu after pressing F10"