This issue tracker has been migrated to GitHub ,
and is currently read-only.
For more information,
see the GitHub FAQs in the Python's Developer Guide.
Created on 2012年05月22日 00:19 by andrew.m, last changed 2022年04月11日 14:57 by admin. This issue is now closed.
| Files | ||||
|---|---|---|---|---|
| File name | Uploaded | Description | Edit | |
| issue14876.patch | roger.serwy, 2012年05月22日 11:37 | review | ||
| Messages (4) | |||
|---|---|---|---|
| msg161309 - (view) | Author: Andrew (andrew.m) | Date: 2012年05月22日 00:19 | |
When changing theme colors, preview window uses only default font |
|||
| msg161345 - (view) | Author: Roger Serwy (roger.serwy) * (Python committer) | Date: 2012年05月22日 11:37 | |
That sounds like a reasonable enhancement. Attached is a patch against 3.3.0a3 to change the font of highlighting sample to match the font selected in the font tab. The actual highlighting text sample has 11 line of text which is why the patch changes the height from 10 to 11. |
|||
| msg161681 - (view) | Author: Roundup Robot (python-dev) (Python triager) | Date: 2012年05月26日 20:57 | |
New changeset e443cce4f183 by Terry Jan Reedy in branch '3.2': Issue #14876: Use user-selected font for highlight configuration. http://hg.python.org/cpython/rev/e443cce4f183 New changeset a9e9045d5546 by Terry Jan Reedy in branch 'default': Merge Issue #14876: Use user-selected font for highlight configuration. http://hg.python.org/cpython/rev/a9e9045d5546 New changeset dc9ddad40bba by Terry Jan Reedy in branch '2.7': Issue #14876: Use user-selected font for highlight configuration. http://hg.python.org/cpython/rev/dc9ddad40bba |
|||
| msg161682 - (view) | Author: Terry J. Reedy (terry.reedy) * (Python committer) | Date: 2012年05月26日 21:01 | |
Patch looks good and seems to work fine. I tested before and after the patch on my working copy of 3.3.0a3 with my selected font. Highlight config was default courier before and selected font after. I agree with change and applied. |
|||
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2022年04月11日 14:57:30 | admin | set | github: 59081 |
| 2012年05月28日 03:16:28 | terry.reedy | set | assignee: terry.reedy |
| 2012年05月26日 21:01:14 | terry.reedy | set | status: open -> closed versions: + Python 3.2 messages: + msg161682 resolution: fixed stage: resolved |
| 2012年05月26日 20:57:22 | python-dev | set | nosy:
+ python-dev messages: + msg161681 |
| 2012年05月22日 11:37:32 | roger.serwy | set | files:
+ issue14876.patch versions: + Python 3.3 nosy: + terry.reedy, roger.serwy messages: + msg161345 keywords: + patch |
| 2012年05月22日 00:19:44 | andrew.m | create | |