bpo-39600: Adjust code, add idlelib/NEWS item (GH-18449)
Complete previous patch.
This commit is contained in:
parent
038770edc4
commit
96ce227067
@ -3,6 +3,8 @@ Released on 2020-10-05?
|
|||||||
======================================
|
======================================
|
||||||
|
|
||||||
|
|
||||||
|
bpo-39600: Remove duplicate font names from configuration list.
|
||||||
|
|
||||||
bpo-38792: Close a shell calltip if a :exc:`KeyboardInterrupt`
|
bpo-38792: Close a shell calltip if a :exc:`KeyboardInterrupt`
|
||||||
or shell restart occurs. Patch by Zackery Spytz.
|
or shell restart occurs. Patch by Zackery Spytz.
|
||||||
|
|
||||||
|
@ -606,10 +606,8 @@ class FontPage(Frame):
|
|||||||
font_size = configured_font[1]
|
font_size = configured_font[1]
|
||||||
font_bold = configured_font[2]=='bold'
|
font_bold = configured_font[2]=='bold'
|
||||||
|
|
||||||
# Set editor font selection list and font_name.
|
# Set sorted no-duplicate editor font selection list and font_name.
|
||||||
fonts = tkFont.families(self)
|
fonts = sorted(set(tkFont.families(self)))
|
||||||
# remove duplicated names and sort
|
|
||||||
fonts = sorted(set(fonts))
|
|
||||||
for font in fonts:
|
for font in fonts:
|
||||||
self.fontlist.insert(END, font)
|
self.fontlist.insert(END, font)
|
||||||
self.font_name.set(font_name)
|
self.font_name.set(font_name)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user