➜

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.

Author taleinat
Recipients Big Stone, JayKrish, Saimadhav.Heblikar, THRlWiTi, Todd.Rovito, aeros, jesstess, malin, markroseman, miss-islington, mthompsonwhs, ned.deily, rhettinger, roger.serwy, serhiy.storchaka, taleinat, terry.reedy
Date 2019-07-26.13:17:20
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1564147040.53.0.434309075202.issue17535@roundup.psfhosted.org>
In-reply-to
Content 
> The current right margin is 1 pixel. Let's try making it 2. See PR GH-14959. I added 2 pixels of horizontal padding to the line numbers text widget, and it certainly does look much nicer. Thanks for the suggestion, Kyle!
History
Date User Action Args
2019-07-26 13:17:20taleinatsetrecipients: + taleinat, rhettinger, terry.reedy, ned.deily, roger.serwy, markroseman, jesstess, THRlWiTi, Todd.Rovito, serhiy.storchaka, JayKrish, Saimadhav.Heblikar, malin, Big Stone, miss-islington, mthompsonwhs, aeros
2019-07-26 13:17:20taleinatsetmessageid: <1564147040.53.0.434309075202.issue17535@roundup.psfhosted.org>
2019-07-26 13:17:20taleinatlinkissue17535 messages
2019-07-26 13:17:20taleinatcreate