diff options
| -rw-r--r-- | gdb/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/python/lib/gdb/command/pretty_printers.py | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 3a4db38..8bb9685 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,10 @@ 2018-11-08 Tom Tromey <tom@tromey.com> + * python/lib/gdb/command/pretty_printers.py + (InfoPrettyPrinter.invoke): Don't indent "objfile" heading. + +2018-11-08 Tom Tromey <tom@tromey.com> + PR gdb/23555: PR gdb/23838: * target.h (target_supports_terminal_ours): Return bool. diff --git a/gdb/python/lib/gdb/command/pretty_printers.py b/gdb/python/lib/gdb/command/pretty_printers.py index 429505f..9788218 100644 --- a/gdb/python/lib/gdb/command/pretty_printers.py +++ b/gdb/python/lib/gdb/command/pretty_printers.py @@ -158,7 +158,7 @@ printer-name;subprinter-name.""" cp.pretty_printers, "progspace", object_re, name_re, subname_re) for objfile in gdb.objfiles(): - self.invoke1(" objfile %s pretty-printers:" % objfile.filename, + self.invoke1("objfile %s pretty-printers:" % objfile.filename, objfile.pretty_printers, objfile.filename, object_re, name_re, subname_re) |