From 84cfae357e7ccd8ebd43f043b493aa1bc62f9893 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 12 May 2005 18:36:21 +0000 Subject: [PATCH] . original commit: d80df3906ef07422b8ad1216dabf145913c57798 --- collects/framework/private/handler.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/framework/private/handler.ss b/collects/framework/private/handler.ss index d2c3e35e..0e4d1711 100644 --- a/collects/framework/private/handler.ss +++ b/collects/framework/private/handler.ss @@ -122,13 +122,13 @@ (format "~a" (exn-message exn)) (format "~s" exn)))) #f)]) - (gui-utils:show-busy-cursor + (gui-utils:show-busy-cursor (λ () (if filename (let ([already-open (send (group:get-the-frame-group) locate-file filename)]) - (cond + (cond [already-open (send already-open make-visible filename) (send already-open show #t)