Mark Roseman added the comment: Patch write-new-defaults.patch attached so that we write 'newer' default themes to config-highlight.cfg if selected, and ignore them if we already have a default by that name.
---------- keywords: +patch Added file: http://bugs.python.org/file40674/write-new-defaults.patch _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue25313> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com