ViewFrame: delete start_mark when the search box is hidden

When the search box is hidden, the search may not be finished. If the
search highlighting is still enabled, when the search is finished, the
callback must not use the start_mark to move the cursor, because the
user is maybe editing or looking at some text elsewhere.