From b00b2e318a6947f1b47f10b66cdedbe132999b50 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Wed, 22 Jun 2011 10:52:53 -0400 Subject: [PATCH] last world draw shouldn't restore old draw; Closes PR 11994 --- collects/2htdp/private/world.rkt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/collects/2htdp/private/world.rkt b/collects/2htdp/private/world.rkt index 8aaaa77e14..70281425c8 100644 --- a/collects/2htdp/private/world.rkt +++ b/collects/2htdp/private/world.rkt @@ -251,10 +251,8 @@ (begin (define/public (name arg ...) (define (last-draw) - (define draw0 draw) - (dynamic-wind (lambda () (set! draw last-picture)) - (lambda () (pdraw)) - (lambda () (set! draw draw0)))) + (set! draw last-picture) + (pdraw)) (queue-callback (lambda () (with-handlers ([exn? (handler #t)])