diff options
| author | Terry Jan Reedy <tjreedy@udel.edu> | 2012-05-26 20:55:43 (GMT) |
|---|---|---|
| committer | Terry Jan Reedy <tjreedy@udel.edu> | 2012-05-26 20:55:43 (GMT) |
| commit | 42f7b7ecb2cd2e0c3d62315f033639b2ad8bacd9 (patch) | |
| tree | 150b677d15b0f919803a2dc9da5cd1d216637929 | |
| parent | 6a942528ecd0087b91a6c0a5fef5a57b307e7ca9 (diff) | |
| download | cpython-42f7b7ecb2cd2e0c3d62315f033639b2ad8bacd9.zip cpython-42f7b7ecb2cd2e0c3d62315f033639b2ad8bacd9.tar.gz cpython-42f7b7ecb2cd2e0c3d62315f033639b2ad8bacd9.tar.bz2 | |
Issue #14876: Use user-selected font for highlight configuration.
Patch by Roger Serwy.
| -rw-r--r-- | Lib/idlelib/configDialog.py | 6 | ||||
| -rw-r--r-- | Misc/NEWS | 3 |
2 files changed, 7 insertions, 2 deletions
diff --git a/Lib/idlelib/configDialog.py b/Lib/idlelib/configDialog.py index dbaedc7..11aac9e 100644 --- a/Lib/idlelib/configDialog.py +++ b/Lib/idlelib/configDialog.py @@ -183,7 +183,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') @@ -832,8 +832,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 @@ -64,6 +64,9 @@ Core and Builtins Library ------- +- Issue #14876: Use user-selected font for highlight configuration. + Patch by Roger Serwy. + - Issue #14036: Add an additional check to validate that port in urlparse does not go in illegal range and returns None. |