From f2c6493fb6cf0234a69829ac752f00f134a0d856 Mon Sep 17 00:00:00 2001
From: Kevin Jilissen <info@kevinjilissen.nl>
Date: Mon, 8 Dec 2025 22:06:12 +0100
Subject: [PATCH] Ignore keyboard events in textbox role elements

This prevents them inside the Monaco editor.
---
 webapp/public/js/domjudge.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();