Here's the case:

1. Select some text on page
2. Ctrl-F
3. Hit Enter (*without* doing Find Next or Esc)

Result:
Highlighting and Selection color are not cleared

* From ModalBar._handleInputKeydown(), first ModalBar.close() is called (which triggers "close" event).
* Then ModalBar._handleInputKeydown() triggers "commit" event:
* "commit" event is handled in FindReplace.js line 504 - then FindFirst() gets called which turns highlighting back on.
* "commit" event is handled in FindReplace.js line 334, which is the line of code in question.

Does FindNext() needs to be smarter about turning on highlights?