Change #:checkable? contact to any/c

Bogdanp · Mar 1, 2024 · b7c625b · b7c625b
1 parent a1d0175
commit b7c625b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/gui-easy-lib/gui/easy/view.rkt b/gui-easy-lib/gui/easy/view.rkt
@@ -53,7 +53,7 @@
                   view/c)]
   [checkable-menu-item (->* ((maybe-obs/c maybe-label/c))
                             ((-> boolean? any)
-                             #:checked? (maybe-obs/c boolean?)
+                             #:checked? (maybe-obs/c any/c)
                              #:enabled? (maybe-obs/c any/c)
                              #:help (maybe-obs/c (or/c #f string?))
                              #:shortcut (maybe-obs/c (or/c #f (*list/c

diff --git a/gui-easy/gui/easy/scribblings/reference.scrbl b/gui-easy/gui/easy/scribblings/reference.scrbl
@@ -174,7 +174,7 @@
 
 @defproc[(checkable-menu-item [label (maybe-obs/c maybe-label/c)]
                               [action (-> boolean? any) void]
-                              [#:checked? checked? (maybe-obs/c boolean?) #f]
+                              [#:checked? checked? (maybe-obs/c any/c) #f]
                               [#:enabled? enabled? (maybe-obs/c any/c) #t]
                               [#:help help-text (maybe-obs/c (or/c #f string?)) #f]
                               [#:shortcut shortcut (maybe-obs/c (or/c #f (*list/c