Tal Einat added the comment: Roger's patch LGTM, and should be considered a bug-fix.
I will note, however, that this doesn't address the original issue: It still does not supply an easily discoverable method of toggling highlighting. Having a keyboard shortcut documented in the help file is necessary, but few novice users will ever notice it. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue6858> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
