The current Erase Find Highlight (Alt + F3) removes the highlighting in the current file only. I often do a find in all open files and have to do Alt + F3 on each page to remove highlighting on all pages.
It would be great if Alt + F3 would erase the highlight from all files. A preference that determines if this new behavior or the current behavior is used (current file or all files option), or a separate menu item and key combination would also work.
I don’t think anyone needs the old behavior, so I changed this command so it would erase the highlight from all the documents in the same window, from 7.5 alpha 5.