diff options
| author | Tom Tromey <tromey@adacore.com> | 2022-06-06 09:54:45 -0600 |
|---|---|---|
| committer | Tom Tromey <tromey@adacore.com> | 2022-07-15 09:25:33 -0600 |
| commit | c4a3dbaf1132105586586617a59d0e7566eefd41 (patch) | |
| tree | 60fdbcc109b1a55a76ce8070f6b4b7c81dc6c38f /gdb/nds32-tdep.h | |
| parent | aa63b0a77e193b5181390f19465f33c314d0490e (diff) | |
| download | gdb-c4a3dbaf1132105586586617a59d0e7566eefd41.zip gdb-c4a3dbaf1132105586586617a59d0e7566eefd41.tar.gz gdb-c4a3dbaf1132105586586617a59d0e7566eefd41.tar.bz2 | |
Expose current 'print' settings to Python
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
Diffstat (limited to 'gdb/nds32-tdep.h')
0 files changed, 0 insertions, 0 deletions