When searching, jump to next hit.
When searching, jump to next hit.
Fix highlighting of search results.
Fix more search behavior.