a little hack to prevent F10 to show up a right-click menu for gnome-terminal