Re: [PATCHv3 1/2] Initial TUI mouse support

Eli Zaretskii via Gdb-patches
2021-06-06T05:47:24Z

> Date: Sat, 5 Jun 2021 14:40:17 +0000 (UTC)
> From: Hannes Domani via Gdb-patches <gdb-patches@sourceware.org>
> Cc: Joel Brobecker <brobecker@adacore.com>,
> Hannes Domani via Gdb-patches <gdb-patches@sourceware.org>
>
> So I would just disable the mouse when the command window has focus, but
> what do you think?

If we end up doing that (and I have no objections, FWIW), let's
reflect that in the manual.

Thanks.