There is a send-message-to-window function ( http://docs.racket-lang.org/gui/Windowing_Functions.html#%28def._%28%28lib._mred%2Fmain..rkt%29._send-message-to-window%29%29), though I've never used it, and it sounds like it is different from what you describe.
-Philip On Mon, Nov 19, 2018 at 5:22 PM Alex Harsanyi <alexharsa...@gmail.com> wrote: > > > I think `queue-callback` is the closest "general" equivalent: it allows > invoking methods on GUI objects from outside the event handler thread. It > can also be used to schedule some work to be done outside a GUI widget's > callback invocation. > > If you actually want to post specific messages to a window, you will have > to map "PostMessage" via FFI and you can find the target window handle > using `get-client-handle`. This will only work on the windows platform. > > > https://docs.racket-lang.org/gui/Windowing_Functions.html?q=ququq-callback#%28def._%28%28lib._mred%2Fmain..rkt%29._queue-callback%29%29 > > Alex. > > On Monday, November 19, 2018 at 7:42:12 PM UTC+8, Jason Stewart wrote: >> >> In Windows, we have a SendMessage() function for dispatching a window >> event synchronously, and PostMessage() for asynchronously queuing an event >> to a specified window from any thread. >> >> Is there a way to do PostMessage() from Racket's GUI library? >> >> Eventspaces feels warm, but couldn't find what I was looking for in it: >> >> >> https://docs.racket-lang.org/gui/windowing-overview.html?q=sleep#%28part._eventspaceinfo%29 >> >> >> -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
