5ZA3BRNYWKSGEBJ4JLA4UBC3LJPT5JBWYCU7PQYRSGX6MJMEWDIQC Editor_state.cursor1.line = Editor_state.search_backup.cursor.lineEditor_state.cursor1.pos = Editor_state.search_backup.cursor.posEditor_state.screen_top1.line = Editor_state.search_backup.screen_top.lineEditor_state.screen_top1.pos = Editor_state.search_backup.screen_top.pos
State.cursor1.line = State.search_backup.cursor.lineState.cursor1.pos = State.search_backup.cursor.posState.screen_top1.line = State.search_backup.screen_top.lineState.screen_top1.pos = State.search_backup.screen_top.pos
if Text.lt1(Editor_state.cursor1, Editor_state.screen_top1) or Text.lt1(Editor_state.screen_bottom1, Editor_state.cursor1) thenEditor_state.screen_top1.line = Editor_state.cursor1.linelocal _, pos = Text.pos_at_start_of_cursor_screen_line(Editor_state.margin_left, App.screen.width-Editor_state.margin_right)Editor_state.screen_top1.pos = pos
if Text.lt1(State.cursor1, State.screen_top1) or Text.lt1(State.screen_bottom1, State.cursor1) thenState.screen_top1.line = State.cursor1.linelocal _, pos = Text.pos_at_start_of_cursor_screen_line(State, State.margin_left, App.screen.width-State.margin_right)State.screen_top1.pos = pos
Editor_state.cursor1.line = Editor_state.search_backup.cursor.lineEditor_state.cursor1.pos = Editor_state.search_backup.cursor.posEditor_state.screen_top1.line = Editor_state.search_backup.screen_top.lineEditor_state.screen_top1.pos = Editor_state.search_backup.screen_top.pos
State.cursor1.line = State.search_backup.cursor.lineState.cursor1.pos = State.search_backup.cursor.posState.screen_top1.line = State.search_backup.screen_top.lineState.screen_top1.pos = State.search_backup.screen_top.pos
if Text.lt1(Editor_state.cursor1, Editor_state.screen_top1) or Text.lt1(Editor_state.screen_bottom1, Editor_state.cursor1) thenEditor_state.screen_top1.line = Editor_state.cursor1.linelocal _, pos = Text.pos_at_start_of_cursor_screen_line(Editor_state.margin_left, App.screen.width-Editor_state.margin_right)Editor_state.screen_top1.pos = pos
if Text.lt1(State.cursor1, State.screen_top1) or Text.lt1(State.screen_bottom1, State.cursor1) thenState.screen_top1.line = State.cursor1.linelocal _, pos = Text.pos_at_start_of_cursor_screen_line(State, State.margin_left, App.screen.width-State.margin_right)State.screen_top1.pos = pos