Support highlighters that add new lines in scroll_to_keep_cursor_visible
minor cleanup
Do not push jump on search next