Re: [PATCH] [gdb/tui] Add set style tui-status-window

[Eli Zaretskii <eliz@gnu.org>]

> Cc: Tom Tromey <tom@tromey.com>
> Date: Mon, 22 May 2023 15:15:40 +0200
> From: Tom de Vries via Gdb-patches <gdb-patches@sourceware.org>
> 
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -27300,6 +27300,13 @@ general styling to @value{GDBN}.  @xref{TUI Configuration}.
>  Control the styling of the active TUI border; that is, the TUI window
>  that has the focus.
>  
> +@item tui-status-window
> +Control the styling of the TUI status window.  Note that, unlike other
> +styling options, the tui-border has a mode rather than an intensity.
> +The values for mode are the same as for @ref{set tui border-mode} and
> +@ref{set tui active-border-mode}.  By default, this style's mode is

This use of @ref is not recommended.  It looks better in the HTML
version of the manual, but in Info and in PDF it looks like a typo or
editing error.  I suggest to use @pxref instead, like this:

  The values for mode are the same as for tui border-mode (@pxref{set
  tui border-mode}) and tui active-border-mode.

It might look less elegant in HTML, but much better in other formats.

> +standout, and the foreground and background colors are none.
                                                          ^^^^
"@code{none}", perhaps?

> +@anchor{set tui border-mode}
>  @item set tui border-mode @var{mode}
>  @kindex set tui border-mode
> +@anchor{set tui active-border-mode}
>  @itemx set tui active-border-mode @var{mode}
>  @kindex set tui active-border-mode

If you go with my suggestion above about @pxref, you don't need the
second one of these @anchor's.

Thanks.

Reviewed-By: Eli Zaretskii <eliz@gnu.org>