diff --git a/collects/macro-debugger/util/notify.ss b/collects/macro-debugger/util/notify.ss index 316358a8..33267dd8 100644 --- a/collects/macro-debugger/util/notify.ss +++ b/collects/macro-debugger/util/notify.ss @@ -151,10 +151,13 @@ (new checkable-menu-item% (label label) (parent parent) - (checked (send nb get)) + (demand-callback + (lambda (i) + (send i check (send nb get)))) (callback - (lambda _ (send nb set (send menu-item is-checked?)))))) - (send nb listen (lambda (value) (send menu-item check value))) + (lambda _ + #;(send nb set (send menu-item is-checked?)) + (send nb set (not (send nb get))))))) menu-item) (define (check-box/notify-box parent label nb)