src/view.c: fix search result highlighting in backward search. Also fix search result...