State.selection1 = deepcopy(State.cursor1)
State.selection1 = deepcopy(State.cursor1)
State.selection1 = deepcopy(State.cursor1)
State.selection1 = deepcopy(State.cursor1)
State.selection1 = deepcopy(State.cursor1)
State.selection1 = deepcopy(State.cursor1)
State.selection1 = deepcopy(State.cursor1)
State.selection1 = deepcopy(State.cursor1)
State.selection1 = deepcopy(State.cursor1)
State.selection1 = deepcopy(State.cursor1)
State.cursor1 = deepcopy(State.screen_top1)
State.cursor1 = deepcopy(State.screen_top1)
State.screen_top1 = deepcopy(State.cursor1)
State.cursor1 = deepcopy(State.screen_top1)
elseif State.cursor1.line >= screen_bottom1.line then
end
end
function Text.end_of_line(State)
Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State)
Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State)
Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
end
-- return the top y coordinate of a given line_index,
-- or nil if no part of it is on screen
function Text.starty(State, line_index)
end
end
end
end
end
end
end
end
end
end