[PATCH] Make StdVectorPrinter in printers.py compatible with ddd

[Paolo Carlini]

Hi,

> There are many GDB front ends.  I would put Nemiver in the light-weight
> category, insofar as it is a standalone GDB GUI, as opposed to an IDE.
> We keep a list:
> 
> http://sourceware.org/gdb/wiki/GDB%20Front%20Ends

Thanks, this is useful. It's been a while since the last time I looked for something that fits my need and I'm happy that there are quite a few choices now, ddd in general seems poorly maintained, besides the other design issues that you all clarified.

Paolo