* python/lib/gdb/printing.py (register_pretty_printer): Change
authorDoug Evans <dje@google.com>
Mon, 29 Nov 2010 23:20:58 +0000 (23:20 +0000)
committerDoug Evans <dje@google.com>
Mon, 29 Nov 2010 23:20:58 +0000 (23:20 +0000)
commit4e04c971fb3d855f3e81231a7649f398ff021c4c
tree8b13806ad465083948f76ee40e61b6a0ff1053c5
parent0e75fdc4e0284927e2c601bee62bd4526ee0735d
* python/lib/gdb/printing.py (register_pretty_printer): Change
printer-name:subprinter-name to printer-name;subprinter-name.
* python/lib/gdb/command/pretty_printers.py (parse_printer_regexps):
Ditto.
(InfoPrettyPrinter, EnablePrettyPrinter, DisablePrettyPrinter): Ditto.

doc/
* gdb.texinfo (Pretty-Printer Introduction): Change
printer-name:subprinter-name to printer-name;subprinter-name.

testsuite/
* gdb.python/py-pp-maint.exp: Change printer-name:subprinter-name to
printer-name;subprinter-name.
gdb/ChangeLog
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo
gdb/python/lib/gdb/command/pretty_printers.py
gdb/python/lib/gdb/printing.py
gdb/testsuite/ChangeLog
gdb/testsuite/gdb.python/py-pp-maint.exp