From: Victor Stinner <vstinner@python.org>
Date: Mon, 10 Feb 2020 19:41:26 +0000 (+0100)
Subject: bpo-39600, IDLE: Remove duplicated font names (GH-18430)
X-Git-Tag: v3.9.0a4~90
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ed335cf53b5d4bca9a08c9b83ba684ba17be0f10;p=thirdparty%2FPython%2Fcpython.git

bpo-39600, IDLE: Remove duplicated font names (GH-18430)

In the font configuration window, remove duplicated font names.
---

diff --git a/Lib/idlelib/configdialog.py b/Lib/idlelib/configdialog.py
index 22359735874d..7b844f00e773 100644
--- a/Lib/idlelib/configdialog.py
+++ b/Lib/idlelib/configdialog.py
@@ -607,8 +607,9 @@ class FontPage(Frame):
         font_bold  = configured_font[2]=='bold'
 
         # Set editor font selection list and font_name.
-        fonts = list(tkFont.families(self))
-        fonts.sort()
+        fonts = tkFont.families(self)
+        # remove duplicated names and sort
+        fonts = sorted(set(fonts))
         for font in fonts:
             self.fontlist.insert(END, font)
         self.font_name.set(font_name)
diff --git a/Misc/NEWS.d/next/IDLE/2020-02-10-17-09-48.bpo-39600.X6NsyM.rst b/Misc/NEWS.d/next/IDLE/2020-02-10-17-09-48.bpo-39600.X6NsyM.rst
new file mode 100644
index 000000000000..102aa75f5813
--- /dev/null
+++ b/Misc/NEWS.d/next/IDLE/2020-02-10-17-09-48.bpo-39600.X6NsyM.rst
@@ -0,0 +1 @@
+In the font configuration window, remove duplicated font names.