diff --git a/webapp/public/js/domjudge.js b/webapp/public/js/domjudge.js index 94afdb825f..2f7327fe23 100644 --- a/webapp/public/js/domjudge.js +++ b/webapp/public/js/domjudge.js @@ -976,7 +976,7 @@ function initializeKeyboardShortcuts() { return; } // Check if the user is not typing in an input field. - if (e.target.tagName === 'INPUT' || e.target.tagName === 'TEXTAREA') { + if (e.target.tagName === 'INPUT' || e.target.tagName === 'TEXTAREA' || document.activeElement.role === 'textbox') { return; } var key = e.key.toLowerCase();