From 3e6fcf18bbedf971c4e1d842e419302709a3cb99 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 18 May 2016 14:33:16 -0600 Subject: [PATCH] Cocoa: fix `enable` method of `choice%` --- gui-lib/mred/private/wx/cocoa/window.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/gui-lib/mred/private/wx/cocoa/window.rkt b/gui-lib/mred/private/wx/cocoa/window.rkt index f0079ca5..1d87bb8f 100644 --- a/gui-lib/mred/private/wx/cocoa/window.rkt +++ b/gui-lib/mred/private/wx/cocoa/window.rkt @@ -621,11 +621,13 @@ (define enabled? #t) (define/public (is-enabled-to-root?) - (and (is-window-enabled?) (is-parent-enabled-to-root?))) + (and (is-window-enabled?/raw) (is-parent-enabled-to-root?))) (define/public (is-parent-enabled-to-root?) (send parent is-enabled-to-root?)) - (define/public (is-window-enabled?) + (define/public (is-window-enabled?/raw) enabled?) + (define/public (is-window-enabled?) + (is-window-enabled?/raw)) (define/public (enable on?) (atomically (set! enabled? on?)