[patch] Use the string returned by pretty printer for MI varobjs instead of "{...}"

[Tom Tromey]

>>>>> "André" == André Pönitz <andre.poenitz@mathematik.tu-chemnitz.de> writes:

Tom> My recollection is that the code originally worked this way, but
Tom> Vladimir asked for the "{...}" behavior specifically.

André> It might affect frontends taking a "{...}" as indication that there
André> are childrens. In fact, I just found some code using that as a shortcut.

That code is just plain broken, though.  The has_more field conveys this
information.

Tom