From 5323873cda57d81566e36c6227510bd6a13fc72c Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 6 Apr 2001 16:17:03 +0000
Subject: [PATCH] .

original commit: bc26d4845cb986dd220affc79fefe9d963a9e31b
---
 collects/mred/mred.ss | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss
index c8117d05..69e8a388 100644
--- a/collects/mred/mred.ss
+++ b/collects/mred/mred.ss
@@ -3679,8 +3679,11 @@
 				  style)))))
     (public
       [swap-gl-buffers (lambda () (send wx swap-buffers))]
-      [grab-gl-context (lambda () (send wx this-context-current))]
-      [restore-gl-context (lambda () (send wx previous-context-current))]
+      [with-gl-context (lambda (thunk) 
+			 (dynamic-wind
+			     (lambda () (send wx this-context-current))
+			     thunk
+			     (lambda () (send wx previous-context-current))))]
 
       [accept-tab-focus (entry-point
 			 (case-lambda