editor: rename set_show_find() to focus_search().