Preferences/ShortcutDialog.py

changeset 3170
b177fe3b0063
parent 3160
209a07d7e401
child 3178
f25fc1364c88
child 3345
071afe8be2a1
--- a/Preferences/ShortcutDialog.py	Sat Jan 04 16:23:47 2014 +0100
+++ b/Preferences/ShortcutDialog.py	Sat Jan 04 18:09:21 2014 +0100
@@ -131,15 +131,9 @@
         
         @param evt the key event (QKeyEvent)
         """
-        if evt.key() == Qt.Key_Control:
-            return
-        if evt.key() == Qt.Key_Meta:
-            return
-        if evt.key() == Qt.Key_Shift:
-            return
-        if evt.key() == Qt.Key_Alt:
-            return
-        if evt.key() == Qt.Key_Menu:
+        if evt.key() in [Qt.Key_Control, Qt.Key_Meta, Qt.Key_Shift, Qt.Key_Alt,
+                         Qt.Key_Menu, Qt.Key_Hyper_L, Qt.Key_Hyper_R,
+                         Qt.Key_Super_L, Qt.Key_Super_R]:
             return
     
         if self.keyIndex == 4:

eric ide

mercurial