From: Terry Jan Reedy <tjreedy@udel.edu>
Date: Sat, 26 May 2012 20:31:00 +0000 (-0400)
Subject: Issue #14876: Use user-selected font for highlight configuration.
X-Git-Tag: v3.3.0a4~55^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=809309a4822124f46dc98514ccdf818564215f30;p=python

Issue #14876: Use user-selected font for highlight configuration.
Patch by Roger Serwy.
---

diff --git a/Lib/idlelib/configDialog.py b/Lib/idlelib/configDialog.py
index d09fb5eed4..2701b42f43 100644
--- a/Lib/idlelib/configDialog.py
+++ b/Lib/idlelib/configDialog.py
@@ -187,7 +187,7 @@ class ConfigDialog(Toplevel):
                               text=' Highlighting Theme ')
         #frameCustom
         self.textHighlightSample=Text(frameCustom,relief=SOLID,borderwidth=1,
-            font=('courier',12,''),cursor='hand2',width=21,height=10,
+            font=('courier',12,''),cursor='hand2',width=21,height=11,
             takefocus=FALSE,highlightthickness=0,wrap=NONE)
         text=self.textHighlightSample
         text.bind('<Double-Button-1>',lambda e: 'break')
@@ -821,8 +821,10 @@ class ConfigDialog(Toplevel):
             fontWeight=tkFont.BOLD
         else:
             fontWeight=tkFont.NORMAL
-        self.editFont.config(size=self.fontSize.get(),
+        size=self.fontSize.get()
+        self.editFont.config(size=size,
                 weight=fontWeight,family=fontName)
+        self.textHighlightSample.configure(font=(fontName, size, fontWeight))
 
     def SetHighlightTarget(self):
         if self.highlightTarget.get()=='Cursor': #bg not possible
diff --git a/Misc/NEWS b/Misc/NEWS
index 10b8ab175c..98e52b03ed 100644
--- a/Misc/NEWS
+++ b/Misc/NEWS
@@ -67,6 +67,8 @@ Core and Builtins
 Library
 -------
 
+- Issue #14876: Use user-selected font for highlight configuration.
+
 - Issue #14920: Fix the help(urllib.parse) failure on locale C on terminals.
   Have ascii characters in help.