]> granicus.if.org Git - python/commit
bpo-17535: Increase line number horizontal padding by 2 pixels (GH-14959)
authorMiss Islington (bot) <31488909+miss-islington@users.noreply.github.com>
Sat, 27 Jul 2019 03:46:52 +0000 (20:46 -0700)
committerGitHub <noreply@github.com>
Sat, 27 Jul 2019 03:46:52 +0000 (20:46 -0700)
commitf6ab188323444fe0dd916ed3860cc5c8806caa16
tree17ebddc23be96ef1a17a0587dde12e8d3e2c31e0
parent06e8fc95d138775e942c18c8e47e72cdcc32f95c
bpo-17535: Increase line number horizontal padding by 2 pixels (GH-14959)

(cherry picked from commit 46ebd4a6a22431ce9676546d2bbe5a6dcd1cc1c1)

Co-authored-by: Tal Einat <taleinat@gmail.com>
Lib/idlelib/sidebar.py