Re: [patch] Implement post_event for Python scripts.

[Joel Brobecker <brobecker@adacore.com>]

> 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?

I'm just trying to figure out how this feature can be useful, and
in particular when the callbacks are triggered. Perhaps, rather than
an example, what we need is a section that describes the event loop
and when it is queried.  We can then make a reference to that section.
It would have been nice if we could have had a small example that
actually did something cool, but if the concepts are clear enough,
the user should be able to figure out what it can use it for.

-- 
Joel