From 11c6f25574e407ac15602b66f2695d1a76859f93 Mon Sep 17 00:00:00 2001 From: Scott Owens Date: Fri, 1 Mar 2002 07:14:14 +0000 Subject: [PATCH] *** empty log message *** original commit: 5821e655ee5d9148e9c2ed431f683018f41ec473 --- collects/mred/mred.ss | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 42748a33..2472a45f 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -3822,11 +3822,10 @@ (public [swap-gl-buffers (lambda () (send wx swap-buffers))] [with-gl-context (lambda (thunk) - (dynamic-wind - (lambda () (send wx this-context-current)) - thunk - (lambda () (send wx previous-context-current))))] - + (dynamic-wind + (lambda () (send wx this-context-current)) + thunk + void))] [accept-tab-focus (entry-point (case-lambda [() (send wx get-tab-focus)]