From af4e019508ee5a5233584841fa5be8fe8deed6b3 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 6 Jun 2002 22:26:10 +0000 Subject: [PATCH] . original commit: 94cfbedaf0c3449d6957c2b0f922602c4c32e8fc --- collects/mred/mred.ss | 3 ++- collects/mred/private/kernel.ss | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index cb76d9e0..d92688e6 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -6124,7 +6124,8 @@ queue-callback yield eventspace-shutdown? - get-panel-background) + get-panel-background + send-event) (define the-color-database (wx:get-the-color-database)) (define the-font-name-directory (wx:get-the-font-name-directory)) diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index 968db7a1..f3804dbd 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -1397,7 +1397,8 @@ location->window set-dialogs set-executer - current-gl-context) + current-gl-context + send-event) ) ;; end