Re: [patch] Implement post_event for Python scripts.

[Tom Tromey <tromey@redhat.com>]

>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes:

>> Providing an example of a multi-threaded python script using
>> post_event would be too complex for the manual (I'm not sure that was
>> what you wanted anyway).  I provided a small example that shows usage.
>> Is this okay?

Joel> I'm just trying to figure out how this feature can be useful, and
Joel> in particular when the callbacks are triggered. Perhaps, rather than
Joel> an example, what we need is a section that describes the event loop
Joel> and when it is queried.

For the purposes of post_event, I think it is probably sufficient to say
that the callback will be executed in the main thread "sometime".  I
don't think we can really provide anything more concrete than that
anyhow.

Tom