Skip to content

[3.8] bpo-39600, IDLE: Remove duplicated font names (GH-18430)#18437

Closed
miss-islington wants to merge 1 commit into
python:3.8from
miss-islington:backport-ed335cf-3.8
Closed

[3.8] bpo-39600, IDLE: Remove duplicated font names (GH-18430)#18437
miss-islington wants to merge 1 commit into
python:3.8from
miss-islington:backport-ed335cf-3.8

Conversation

@miss-islington

@miss-islington miss-islington commented Feb 10, 2020

Copy link
Copy Markdown
Contributor

In the font configuration window, remove duplicated font names.
(cherry picked from commit ed335cf)

Co-authored-by: Victor Stinner vstinner@python.org

@vstinner @miss-islington
bpo-39600, IDLE: Remove duplicated font names (pythonGH-18430)
732c0d9 
In the font configuration window, remove duplicated font names.
(cherry picked from commit ed335cf)

Co-authored-by: Victor Stinner <vstinner@python.org>
@miss-islington

miss-islington commented Feb 10, 2020

Copy link
Copy Markdown
Contributor Author

@vstinner and @willingc: Status check is done, and it's a success ✅ .

@terryjreedy terryjreedy mentioned this pull request Feb 10, 2020
Merged
@miss-islington

miss-islington commented Feb 10, 2020

Copy link
Copy Markdown
Contributor Author

@vstinner and @willingc: Status check is done, and it's a success ✅ .

@miss-islington miss-islington deleted the backport-ed335cf-3.8 branch February 10, 2020 21:18
@miss-islington

miss-islington commented Feb 10, 2020

Copy link
Copy Markdown
Contributor Author

@vstinner and @willingc: 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

Reviewers

@terryjreedy terryjreedy terryjreedy approved these changes

Assignees

No one assigned

Labels

awaiting merge

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@miss-islington @terryjreedy @bedevere-bot @vstinner