result_activate and result_deactivate are no longer needed
Always set result highlight after winnowing search results.