Will post more details when I get my hands on a German keyboard.
What seems to the problem is on a German keyboard is “/” above the seven (shift+7)
So when a user presses shift + 7 it shows up as shift + 7 and not slash. So if a keyboard shortcut is mapped to slash it doesn’t fire.
If the german users remap their keyboards, then they are fine, but it means the default key mappings are broken as they are shipped wth my app for non us users.