[PATCH v2][PR gdb/17320] Fix array pretty formatter

[Tom Tromey]

>>>>> "Hannes" == Hannes Domani via Gdb-patches <gdb-patches@sourceware.org> writes:

>> I suppose it wouldn't hurt, provided varobj display still always showed
>> the zeroes.

Hannes> What's varobj display?

varobj is an MI feature.  Python pretty-printers are called both by CLI
commands like "print" and "bt", and by varobj.  Normally, though, user
options like "set print mumble" should not affect varobj, as that is
intended for use by front ends.

Tom