Simpler pretty printing API (gdb.printing helpers)

[Tom Tromey]

>>>>> "Andrew" == Andrew Oakley <andrew@ado.is-a-geek.net> writes:

Andrew> I've got a couple of bits of code that I thought might be useful to add
Andrew> to gdb.printing.  If there is agreement I can tidy up a bit for
Andrew> submission.

Andrew> I found myself writing lots of pretty printers that only wanted to
Andrew> accept one type of object, so I wrote a little function to register
Andrew> them:
[...]

Yeah, I think this sort of thing would be handy in gdb.printing.

Tom