[RFC] new commands: info pretty-printers, enable/disable pretty-printer

[Tom Tromey]

>>>>> "Doug" == Doug Evans <dje@google.com> writes:

Doug> This is just a strawman.  [No NEWS, docs, this is just RFC.]
Doug> How *do* we want this to work, if at all?
Doug> Comments?

I think the overall approach seems ok.
I like the commands that the user sees.

Doug> It's still a strawman.  Comments?

I'm not sure how much review you want.  There's stuff in the .py that
looks suspect, but I'm going to guess you would rather that stuff be
hashed out later.

Tom