Roundup Robot <devn...@psf.upfronthosting.co.za> added the comment: 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 ---------- nosy: +python-dev _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue14876> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
