Message 315976 - Python tracker

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Content
I've created PR6665 for the first bullet item.

* Font size should initially reflect user's size choice.  Possibly change with control-mousewheel.