From bcef0dbfe24662369ce148ec87d90d5d828ad0be Mon Sep 17 00:00:00 2001 From: Jon Rafkind Date: Thu, 11 Nov 2010 13:29:01 -0700 Subject: [PATCH] increase delay value before refresh to 100 --- collects/mred/private/wx/common/queue.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/private/wx/common/queue.rkt b/collects/mred/private/wx/common/queue.rkt index 61e6832c3e..5041babcae 100644 --- a/collects/mred/private/wx/common/queue.rkt +++ b/collects/mred/private/wx/common/queue.rkt @@ -128,7 +128,7 @@ (alert-tasks-ready))) (define last-time -inf.0) -(define sometimes-delay-msec 50) +(define sometimes-delay-msec 100) ;; Call this function only in atomic mode: (define (pre-event-sync force?)