Update from precise-proposed does not fix the problem, F10 still opens the context menu in gnome terminal
Update from precise-proposed does not fix the problem, F10 still opens the context menu in gnome terminal