Prevent exception when calling element

2026-04-15 18:43:41 +02:00
parent a1646d67cf
commit 977f25d997
1 changed files with 1 additions and 1 deletions
--- 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"