From a0f0cb32fdf39090da5875528f819adeb8c84ac8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 9 Sep 1996 17:56:27 +0000 Subject: [PATCH] added watch cursos in dialog box original commit: b1ffcd7b6eb53e769fed10308646ac7a84af4f5d --- collects/mred/prefs.ss | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss index 86e1b19c..d044fea3 100644 --- a/collects/mred/prefs.ss +++ b/collects/mred/prefs.ss @@ -317,6 +317,10 @@ (save-user-preferences) (if preferences-dialog (send preferences-dialog show #t) - (set! preferences-dialog (make-preferences-dialog))))))))) + (set! preferences-dialog + (let ([cursor-off (mred:gui-utils:delay-action + 2 wx:begin-busy-cursor wx:end-busy-cursor)]) + (begin0 (make-preferences-dialog) + (cursor-off))))))))))) (read-user-preferences)))