On 5/22/23 15:47, Eli Zaretskii wrote:
>> 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.
> 

Done.

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

Done.

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

Done.

Thanks for the review, updated patch attached.

Thanks,
- Tom