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