Re: [PATCH 1/2] Expose current 'print' settings to Python

[Eli Zaretskii <eliz@gnu.org>]

> Date: Tue,  7 Jun 2022 09:42:25 -0600
> From: Tom Tromey via Gdb-patches <gdb-patches@sourceware.org>
> Cc: Tom Tromey <tromey@adacore.com>
> 
> PR python/17291 asks for access to the current print options.  While I
> think this need is largely satisfied by the existence of
> Value.format_string, it seemed to me that a bit more could be done.
> 
> First, while Value.format_string uses the user's settings, it does not
> react to temporary settings such as "print/x".  This patch changes
> this.
> 
> Second, there is no good way to examine the current settings (in
> particular the temporary ones in effect for just a single "print").
> This patch adds this as well.
> 
> Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=17291
> ---
>  gdb/NEWS                                      |  7 ++
>  gdb/doc/python.texi                           | 18 ++++
>  gdb/python/py-prettyprint.c                   | 98 ++++++++++++++++++-
>  gdb/python/py-value.c                         |  4 +-
>  gdb/python/py-varobj.c                        | 25 ++++-
>  gdb/python/python-internal.h                  | 13 ++-
>  gdb/python/python.c                           |  4 +
>  gdb/testsuite/gdb.python/py-format-string.exp | 34 +++++--
>  gdb/testsuite/gdb.python/py-format-string.py  |  4 +
>  gdb/varobj.c                                  | 13 ++-
>  10 files changed, 199 insertions(+), 21 deletions(-)

OK for the documentation parts, thanks.