[PATCHv3 1/2] Initial TUI mouse support

[Eli Zaretskii]

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