URL PR 14030
Status merged
Title bpo-17535: IDLE editor line numbers
History
Date User Action Args
2019-07-23 12:22:14taleinatsetstatus: open -> merged
2019-07-21 20:57:38taleinatsettitle: bpo-17535: IDLE line numbers -> bpo-17535: IDLE editor line numbers
2019-06-12 21:58:06taleinatlinkissue17535 pull_requests
2019-06-12 21:58:06taleinatcreate