Roger Serwy added the comment: (I didn't realize that the patch is identical to the one submitted on issue13586).
The issue with the found text not being highlighted is Windows-specific. Issue13630 discusses that particular problem and it has the same root cause as issue14146. Changing the menu item and dialog boxes goes beyond the original scope of this issue. In the interest of keeping bug-tracking simple, an issue should not be expanded in scope. Patches are submitted as a unified diff, using "hg diff". ---------- resolution: works for me -> _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue17511> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
