From 43f7e50ccc59e183114b3057e246e79df52e8634 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 15 Sep 1999 18:36:19 +0000 Subject: [PATCH] ... original commit: 6ef1e2d1b02f03143d0fa33c1714863d1f17e65d --- collects/framework/exit.ss | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/framework/exit.ss b/collects/framework/exit.ss index 8b054a13..0bfb0fb4 100644 --- a/collects/framework/exit.ss +++ b/collects/framework/exit.ss @@ -1,5 +1,6 @@ (unit/sig framework:exit^ - (import [preferences : framework:preferences^] + (import mred^ + [preferences : framework:preferences^] [gui-utils : framework:gui-utils^]) (rename (-exit exit)) @@ -54,5 +55,5 @@ (set! exiting? #t) (when (can-exit?) (on-exit) - (exit)) + (queue-callback (lambda () (exit)))) (set! exiting? #f))))) \ No newline at end of file