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 14973
Status merged
Title [3.7] bpo-17535: Increase line number horizontal padding by 2 pixels (GH-14959)
History
Date User Action Args
2019-07-27 03:42:02miss-islingtonsetstatus: open -> merged
2019-07-27 03:24:55miss-islingtonlinkissue17535 pull_requests
2019-07-27 03:24:55miss-islingtoncreate