Doug Evans 4e04c971fb * 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.

2010-11-29 23:20:58 +00:00

..

command

* python/lib/gdb/printing.py (register_pretty_printer): Change

2010-11-29 23:20:58 +00:00

__init__.py

New python module gdb.printing, and new commands info pretty-printer,

2010-11-02 22:44:13 +00:00

printing.py

* python/lib/gdb/printing.py (register_pretty_printer): Change

2010-11-29 23:20:58 +00:00

types.py

…