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

[Tom Tromey]

>>>>> "Paolo" == Paolo Carlini <pcarlini@gmail.com> writes:

Paolo> I understand Uli's point, but I have to add that, as far as I
Paolo> know, there aren't that many other lightweight options on Linux,
Paolo> besides DDD

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

FWIW, DDD is written in the "wrong" way.  Modern GDB GUIs should use the
MI protocol, which was designed specifically for GUIs.  AFAIK, DDD still
just relies on parsing GDB's CLI output -- but this is unreliable,
because we change the CLI output all the time.

That said, I think this patch is ok.  Consistency between the various
printers seems beneficial.

Tom