-

2026-02-18 10:57:10 +01:00
parent b4364bc88a
commit 8044e92efd
2 changed files with 2 additions and 2 deletions
--- a/private/web-wire.rkt
+++ b/private/web-wire.rkt
@@ -899,7 +899,7 @@
  ;; get value of an element
  (def-cmd ww-get-value
    value ((win-id ww-win?)
-           (element-id symbol-or-string?)) () -> string)
+           (element-id symbol-or-string?)) () -> json)

  ;; set value of an element
  (def-cmd ww-set-value