From 32c84112ffacc74c0e0040e884bbef75b879bc9e Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Wed, 15 Apr 2026 23:33:41 +0200 Subject: [PATCH] wait-for-element must be public --- wv-window.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wv-window.rkt b/wv-window.rkt index 048a739..bf740c4 100644 --- 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) { "