From 139101193336fca5397452246cc73db6c830ecdc Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 7 Jan 1999 21:38:18 +0000 Subject: [PATCH] . original commit: b8ecf817153e3cdba21f0b21346ab611f1efa077 --- src/mred/wrap/mred.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/src/mred/wrap/mred.ss b/src/mred/wrap/mred.ss index f155e1d3..a5f47c60 100644 --- a/src/mred/wrap/mred.ss +++ b/src/mred/wrap/mred.ss @@ -599,6 +599,7 @@ (set! was-bad? #t) (set! already-trying? #t) (set-size -1 -1 correct-w correct-h) + (when was-bad? (resized)) (set! already-trying? #f))))))))]) (override