[PATCH] Document TUI improvements in the manual & NEWS (was: Re: [PATCH] Document TUI mouse support in the manual & NEWS)

[Pedro Alves]

On 2021-06-27 8:14 p.m., Eli Zaretskii wrote:
>> From: Pedro Alves <pedro@palves.net>
>> Cc: gdb-patches@sourceware.org
>> Date: Sun, 27 Jun 2021 18:44:04 +0100
>>
>>> AFAIU, what is missing here is the fact that "select/paste text with
>>> the mouse" copies/pastes text to/from the _terminal_'s selection
>>> buffer (as opposed to the GDB's TUI buffer).  I think your original
>>> text will be fine if you mention this explicitly.  IOW, we need to say
>>> that this copy/paste bypasses GDB and goes into the terminal's
>>> text-selection functionality.
>>
>> How about this then?
> 
> Fine by me, thanks.
> 

Thanks, I've merged it now.