-

2026-02-18 21:55:04 +01:00
parent 10431f56ca
commit 4a834b4930
2 changed files with 2 additions and 2 deletions
--- a/private/web-wire.rkt
+++ b/private/web-wire.rkt
@@ -825,7 +825,7 @@
  (def-cmd ww-set-inner-html
    set-inner-html ((win-id ww-win?)
                    (element-id symbol-or-string?)
-                    (html-of-file html-or-file?)) () -> void)
+                    (html-of-file html-or-file?)) () -> number)
  

  ;; Het the inner html of an id of the HTML in the window