diff -r d14ddbfbbd36 -r c6dda2cbe081 Preferences/ShortcutsDialog.py
--- a/Preferences/ShortcutsDialog.py Sat Feb 16 10:27:50 2019 +0100
+++ b/Preferences/ShortcutsDialog.py Sat Mar 02 11:15:24 2019 +0100
@@ -312,8 +312,8 @@
# 3. check key name
if itm.text(0) != keyname:
- for col in [1, 2]: # check against primary,
- # then alternative binding
+ for col in [1, 2]:
+ # check against primary, then alternative binding
itmseq = itm.text(col)
# step 1: check if shortcut is already allocated
if keystr == itmseq:
