>>>>> "David" == david faure <[email protected]> writes:
David> From: David Faure <[email protected]> David> StdMapPrinter and Tr1UnorderedMapPrinter yield a separate child for the David> key and for the value of every element, as their 'map' display hint David> requires, but their num_children methods return the number of elements, David> i.e. half of what children() produces. FWIW this patch looks good to me. Tom
