From dc41bf0a458c171efd1d108dc1b65fae182d9a55 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Tue, 2 Dec 2008 19:54:36 +0000 Subject: [PATCH] macro stepper: simplified prefs/params, fixed menu bugs svn: r12681 original commit: 2648a3b03f01c04755469c5341fb380c6838e853 --- collects/macro-debugger/util/notify.ss | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) 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)