This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [RFA] PR python/13598 - add before_prompt event


On 08/04/2016 09:34 PM, Tom Tromey wrote:
>>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:
> 
>>> Right now my GUI uses this event to react appropriately when the user
>>> types "up" or "down".
> 
> Pedro> The TUI uses this approach too nowadays.
> 
> Thanks for mentioning that.  I think it's another argument for accepting
> this patch.

I do agree that an event for user-selected frame changes might be nice.

However, I'm fine with the approach in this patch as well, because
I'm sure that even if a frame-change event is added in the future, 
a before_prompt event can still find other uses.

Thanks,
Pedro Alves


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]