➜

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