Re: [PATCH 0/2] Add new 'print max-depth' feature

Andrew Burgess
2019-03-28T22:48:44Z

* Pedro Alves <palves@redhat.com> [2019-03-28 12:47:11 +0000]:

> 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.

I've taken a look and I can't find anything. I'll look again
tomorrow, but any pointers in the right direction would be great.

Thanks

Andrew