[PATCH] Add line-number styling

[Eli Zaretskii]

> From: Tom Tromey <tom@tromey.com>
> Cc: Tom Tromey <tom@tromey.com>
> Date: Mon, 16 Sep 2024 17:13:24 -0600
> 
> This patch adds separate styling for line numbers.  That is, whenever
> gdb prints a source line number, it uses this style.
> ---
>  gdb/NEWS                                 |  5 +++++
>  gdb/breakpoint.c                         | 10 ++++++----
>  gdb/cli-out.c                            |  5 +++--
>  gdb/cli-out.h                            |  3 ++-
>  gdb/cli/cli-cmds.c                       |  6 ++++--
>  gdb/cli/cli-style.c                      | 12 ++++++++++++
>  gdb/cli/cli-style.h                      |  3 +++
>  gdb/doc/gdb.texinfo                      |  4 ++++
>  gdb/infcmd.c                             |  4 +++-
>  gdb/mi/mi-out.c                          | 13 +++++++------
>  gdb/mi/mi-out.h                          |  3 ++-
>  gdb/python/py-framefilter.c              |  2 +-
>  gdb/python/py-mi.c                       |  3 ++-
>  gdb/python/py-uiout.h                    |  3 ++-
>  gdb/source.c                             | 24 +++++++++++++++---------
>  gdb/stack.c                              |  2 +-
>  gdb/symmisc.c                            |  3 ++-
>  gdb/testsuite/gdb.base/style-logging.exp |  3 ++-
>  gdb/testsuite/gdb.base/style.exp         | 13 +++++++------
>  gdb/testsuite/lib/gdb-utils.exp          |  3 ++-
>  gdb/testsuite/lib/gdb.exp                |  2 +-
>  gdb/tracepoint.c                         | 12 +++++++-----
>  gdb/tui/tui-source.c                     | 16 ++++++++++++++++
>  gdb/tui/tui-source.h                     |  6 +++++-
>  gdb/tui/tui-winsource.h                  |  8 +++++---
>  gdb/ui-out.c                             |  8 +++++---
>  gdb/ui-out.h                             |  6 ++++--
>  27 files changed, 128 insertions(+), 54 deletions(-)

Thanks, the documentation parts are okay.

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