cocoa: make sure app wakes up on file event

original commit: bc0c2075fd5999188773fc19994731f6e60c23a2
2011-11-25 09:55:03 -07:00 · 2011-11-25 09:55:03 -07:00 · d11a50bd6d
commit d11a50bd6d
parent 5c61b1f216
1 changed files with 2 additions and 1 deletions
--- 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))]