[PATCHv2 05/15] gdb/tui: add new 'tui window width' command and 'winwidth' alias

[Eli Zaretskii]

> From: Andrew Burgess <aburgess@redhat.com>
> Cc: gdb-patches@sourceware.org
> Date: Wed, 09 Feb 2022 15:33:30 +0000
> 
> > Btw, should we mention that this new command will only have effect if
> > more than one window is displayed?
> 
> What about this for the description of 'tui window width'?  The second
> paragraph is new:

It's fine, thanks.

> If this is OK, then I would propose adding the same paragraph to the
> description of 'tui window height' which obviously has the same
> restrictions.

Right.