[Python - doc] gdb.post_event description

[Kevin Pouget]

On Fri, Oct 14, 2011 at 9:48 PM, Tom Tromey <tromey@redhat.com> wrote:
>>>>>> "Kevin" == Kevin Pouget <kevin.pouget@gmail.com> writes:
>
> Kevin> according to my experimentations, gdb_do_one_event, which (indirectly)
> Kevin> triggers the processing of Python events posted with gdb.post_event,
> Kevin> is executed right after the prompt has been displayed (and new
> Kevin> charactered fed in), and nowhere else (as far as I could investigate).
>
> Kevin> Does it look right to you?
>
> Yeah, but I would not want to document this too precisely; it is good, I
> think, to have some leeway so we can run the event queue at other times
> if we find the need in the future.

sure,

but I think that the notion of "event" is quite vague here, for
instance we've got Python events, which are totally unrelated to
"post_event" (as far as I understood); and internally there are
inferior events.
(Actually, with that knowledge, I expected 'post_event' events to be
processed more often).

So I think it's important to state when the callback will be
triggered, give the prompt as an example, and mentioned that more
event processing points might be added in the next releases

What do you think about it?

Thanks,

Kevin