From 0b412d18d5538442da46aa86d497d2edade1a8ed Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 16 Sep 2010 05:33:10 -0600 Subject: [PATCH] fix queue-callback to default to high priority original commit: 73d28a3fff66aae7c948aaf5d6f7adee809d4fc2 --- 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 700b1c83..452528fc 100644 --- a/collects/mred/private/wx/common/queue.rkt +++ b/collects/mred/private/wx/common/queue.rkt @@ -408,7 +408,7 @@ (define (main-eventspace? e) (eq? e main-eventspace)) -(define (queue-callback thunk [high? #f]) +(define (queue-callback thunk [high? #t]) (queue-event (current-eventspace) thunk (cond [(not high?) 'lo] [(eq? high? middle-queue-key) 'med]