➜

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 14959
Status merged
Title bpo-17535: IDLE: increase line number horizontal padding by 2 pixels
History
Date User Action Args
2019-07-27 03:24:38taleinatsetstatus: open -> merged
2019-07-27 03:23:27taleinatsettitle: bpo-17535: IDLE: increase line numbers horizontal padding by 2 pixels -> bpo-17535: IDLE: increase line number horizontal padding by 2 pixels
2019-07-26 13:14:31taleinatlinkissue17535 pull_requests
2019-07-26 13:14:31taleinatcreate