Fix #2701: Do not show shortcut box when modifier key is pressed#2721

Merged

meisterT merged 2 commits intoDOMjudge:mainfrom

mpsijm:2701-keyboard-shortcuts-modifier-keys

Sep 27, 2024

Commits on Sep 25, 2024

Fix #2701: Do not show shortcut box when modifier key is pressed
mpsijm
committed
Keyboard shortcuts: also remove box before redirect when pressing Enter, not only on cancel
mpsijm
committed