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:23python-devsetrecipients: + python-dev, terry.reedy, roger.serwy, andrew.m
2012-05-26 20:57:22python-devlinkissue14876 messages
2012-05-26 20:57:22python-devcreate