From bc0c2075fd5999188773fc19994731f6e60c23a2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 25 Nov 2011 09:55:03 -0700 Subject: [PATCH] cocoa: make sure app wakes up on file event --- collects/mred/private/wx/cocoa/queue.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/mred/private/wx/cocoa/queue.rkt b/collects/mred/private/wx/cocoa/queue.rkt index 67af3656dd..ee3dd5279d 100644 --- a/collects/mred/private/wx/cocoa/queue.rkt +++ b/collects/mred/private/wx/cocoa/queue.rkt @@ -75,7 +75,8 @@ #t] [-a _BOOL (application: [_id theApplication] openFile: [_NSString filename]) (set! got-file? #t) - (queue-file-event (string->path filename))] + (queue-file-event (string->path filename)) + (post-dummy-event)] [-a _void (applicationDidFinishLaunching: [_id notification]) (unless got-file? (queue-start-empty-event))]