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

Fixes #462
linuxmint · Sep 23, 2024 · bda58ec · bda58ec
1 parent 96e5395
commit bda58ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/keybindings.py b/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: