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.

URL PR 3613
Status merged
Title [3.6] bpo-31488: IDLE - update former extensions when options change. (GH-3612)
History
Date User Action Args
2017-09-16 06:14:36python-devsetstatus: open -> merged
2017-09-16 05:42:42python-devlinkissue31488 pull_requests
2017-09-16 05:42:42python-devcreate