From 977f25d997d8a5071ffb005ed2202662dc659a83 Mon Sep 17 00:00:00 2001
From: Hans Dijkema <hans@dijkewijk.nl>
Date: Wed, 15 Apr 2026 18:43:41 +0200
Subject: [PATCH] Prevent exception when calling element

---
 wv-window.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wv-window.rkt b/wv-window.rkt
index 8eab99d..6e210a8 100644
--- a/wv-window.rkt
+++ b/wv-window.rkt
@@ -93,7 +93,7 @@
                                             (format
                                              (string-append
                                               "{ let el = document.getElementById('~a');\n"
-                                              "  let a = el.getAttribute('type');\n"
+                                              "  let a = (el === null) ? null : el.getAttribute('type');\n"
                                               "  if (a === null) {\n"
                                               "    return false;\n"
                                               "  } else {\n"