From cae005a6a2e052d1867c63694dca059a39b5dd40 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 14 Apr 2011 14:50:03 -0600 Subject: [PATCH] win32: fix window-enabling problems Closes PR 11769 --- collects/mred/private/wx/win32/window.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/mred/private/wx/win32/window.rkt b/collects/mred/private/wx/win32/window.rkt index f345d2e122..cfd101f47f 100644 --- a/collects/mred/private/wx/win32/window.rkt +++ b/collects/mred/private/wx/win32/window.rkt @@ -138,6 +138,9 @@ (init style [extra-hwnds null]) + (define enabled? #t) + (define parent-enabled? #t) + (super-new) (define eventspace (if parent @@ -271,8 +274,6 @@ (define/public (get-handle) hwnd) (define/public (get-client-handle) (get-content-hwnd)) - (define enabled? #t) - (define parent-enabled? #t) (define/public (enable on?) (unless (eq? enabled? (and on? #t)) (atomically