◐ Shell
reader mode source ↗
Skip to content

[3.8] bpo-17535: Increase line number horizontal padding by 2 pixels (GH-14959)#14974

Merged
miss-islington merged 1 commit into
python:3.8from
miss-islington:backport-46ebd4a-3.8
Jul 27, 2019
Merged

[3.8] bpo-17535: Increase line number horizontal padding by 2 pixels (GH-14959)#14974
miss-islington merged 1 commit into
python:3.8from
miss-islington:backport-46ebd4a-3.8

Conversation

@miss-islington

@miss-islington miss-islington commented Jul 27, 2019

Copy link
Copy Markdown
Contributor

(cherry picked from commit 46ebd4a)

Co-authored-by: Tal Einat taleinat@gmail.com

https://bugs.python.org/issue17535

…nGH-14959)

(cherry picked from commit 46ebd4a)

Co-authored-by: Tal Einat <taleinat@gmail.com>
@miss-islington

Copy link
Copy Markdown
Contributor Author

@taleinat and @terryjreedy: Status check is done, and it's a success ✅ .

@miss-islington miss-islington merged commit f6ab188 into python:3.8 Jul 27, 2019
@miss-islington miss-islington deleted the backport-46ebd4a-3.8 branch July 27, 2019 03:46
@miss-islington

Copy link
Copy Markdown
Contributor Author

@taleinat and @terryjreedy: Status check is done, and it's a success ✅ .

1 similar comment
@miss-islington

Copy link
Copy Markdown
Contributor Author

@taleinat and @terryjreedy: Status check is done, and it's a success ✅ .

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants