Re: [PATCH v3] Make the TUI command window support the mouse

Pedro Alves
2021-06-13T17:59:48Z

On 2021-06-13 6:55 p.m., Hannes Domani wrote:

>> Here's a new version.  Does this one work for you?
>
> Yes, with this everything works, thanks.

Awesome! I'll wait for tomorrow for merging, in case Tromey or someone else
wants to comment.

Pedro Alves