keybindings: Ignore shift-f10 (alternate menu popup shortcut).

Fixes #462

Author: mtwebster

src/util/keybindings.py

@@ -104,7 +104,7 @@ def maybe_handle_event(self, event):
                 self.manager.cancel_unlocking()
                 return True
 
-        if event.keyval == Gdk.KEY_Menu:
+        if event.keyval in (Gdk.KEY_Menu, Gdk.KEY_F10):
             return True
 
         if status.Awake: