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

      State.cursor1 = deepcopy(State.screen_top1)
    State.cursor1 = deepcopy(State.screen_top1)
    edit.put_cursor_on_next_text_line(State)
      edit.clean_up_mouse_press(State)
      return
    end

  State.cursor1 = {line=State.screen_top1.line, pos=State.screen_top1.pos}