Re: [Python - doc] gdb.post_event description

[Tom Tromey <tromey at redhat dot com>]

>>>>> "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.

Tom