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.
| Author | python-dev |
|---|---|
| Recipients | andrew.m, python-dev, roger.serwy, terry.reedy |
| Date | 2012年05月26日.20:57:22 |
| SpamBayes Score | -1.0 |
| Marked as misclassified | Yes |
| Message-id | <E1SYO37-00083B-Tb@dinsdale.python.org> |
| In-reply-to |
| Content | |
|---|---|
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 |
|
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2012年05月26日 20:57:23 | python-dev | set | recipients: + python-dev, terry.reedy, roger.serwy, andrew.m |
| 2012年05月26日 20:57:22 | python-dev | link | issue14876 messages |
| 2012年05月26日 20:57:22 | python-dev | create | |