Message348491
| 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:20 | taleinat | set | recipients:
+ 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:20 | taleinat | set | messageid: <1564147040.53.0.434309075202.issue17535@roundup.psfhosted.org> |
| 2019年07月26日 13:17:20 | taleinat | link | issue17535 messages |
| 2019年07月26日 13:17:20 | taleinat | create |
|