>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes: Tom> [RFA] PR python/13598 - add before_prompt event Tom> https://sourceware.org/ml/gdb-patches/2016-05/msg00370.html Ping. Ideally I'd like this to wind up in 7.12. I think it's the last patch needed to make my GUI work nicely with the official gdb. Tom