[PATCH] [gdb/cli] Add maint info screen

Eli Zaretskii eliz@gnu.org
Mon Apr 17 17:19:08 GMT 2023


> Date: Mon, 17 Apr 2023 16:09:06 +0200
> From: Tom de Vries via Gdb-patches <gdb-patches@sourceware.org>
> 
>  gdb/doc/gdb.texinfo |  7 +++++
>  gdb/utils.c         | 70 +++++++++++++++++++++++++++++++++++++++++++--
>  2 files changed, 75 insertions(+), 2 deletions(-)

Thanks for working on this.

> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -41363,6 +41363,13 @@ This option is @samp{on} by default for supported architectures.
>  This option is useful for debugging @value{GDBN}'s use of the Pygments
>  library when @value{GDBN} is built for an architecture that supports
>  styling with the builtin disassembler
> +
> +@kindex maint info screen
> +@cindex Show screen characteristics
           ^^^^
Please avoid capital letters in index entries as much as possible.
That's because differences in letter-case can cause the index entries
be sorted in different order depending on the locale where the manual
is built, and we want to avoid this locale dependency if possible.

> +@item maint info screen
> +Print various characteristics of the screen, such as various notions
> +of width and height.

Maybe say what will this be useful for?

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


More information about the Gdb-patches mailing list