[Bug python/12867] New: Need a command to delete a pretty-printer

["dje at google dot com" <sourceware-bugzilla at sourceware dot org>]

http://sourceware.org/bugzilla/show_bug.cgi?id=12867

           Summary: Need a command to delete a pretty-printer
           Product: gdb
           Version: HEAD
            Status: NEW
          Severity: normal
          Priority: P2
         Component: python
        AssignedTo: unassigned@sourceware.org
        ReportedBy: dje@google.com


ref: http://sourceware.org/ml/gdb/2011-05/msg00117.html

We need a command to delete an existing pretty-printer.

delete pretty-printer object-regexp pretty-printer-regexp
"works for me"

[syntax borrowed from info|enable|disable pretty-printer]

Though it might be nice to make object-regexp optional.

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.