BTW, wasn't there some patch being reviewed that added explicit control of the "set print" options to the Python API? I can't seem to find it right now, but I think you'll want to coordinate, to make sure that "depth" is also added to the API. Thanks, Pedro Alves