On 2017-09-07 23:00:43 +0000, Barry Warsaw said:
On Sep 7, 2017, at 14:25, Barry Warsaw <ba...@python.org> wrote:
I’ll see what it takes to add `header` to pdb.set_trace(), but I’ll do
that as a separate PR (i.e. not as part of this PEP).
Turns out to be pretty easy.
https://bugs.python.org/issue31389
https://github.com/python/cpython/pull/3438
Ah, perfect! I've subscribed to the PR on github and can pitch in there
further if my input is of any use.
Thanks again,
f
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
