Search highlights aren't cleared after clearing search

[dstillman]

As far as I can tell, you have to exit the PDF and go back in to clear them.