cocoa: make sure app wakes up on file event

2011-11-25 09:55:03 -07:00 · 2011-11-25 09:55:03 -07:00 · bc0c2075fd
commit bc0c2075fd
parent d3cbea068a
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))]