wait-for-element must be public

2026-04-15 23:33:41 +02:00
parent dfe112dd51
commit 32c84112ff
1 changed files with 1 additions and 1 deletions
--- a/wv-window.rkt
+++ b/wv-window.rkt
@@ -137,7 +137,7 @@
        )
      )

-    (define (wait-for-element id)
+    (define/public (wait-for-element id)
      (webview-call-js wv (string-append
                           (format "{ let el = document.getElementById('~a');" id)
                           "  while (el === null) { "