elseif not hide_cursor then

          elseif hide_cursor then
            Text.pretend_draw_cursor(State, State.left+Text.x(screen_line, State.cursor1.pos-pos+1), y)
          else

  State.cursor_x = x
  State.cursor_y = y+State.line_height
end
function Text.pretend_draw_cursor(State, x, y)

function Text.keychord_press(State, chord)

function Text.keychord_press(State, chord, readonly)

  if not readonly then

  end
  end

  elseif chord == 'left' then

  if chord == 'left' then

* `edit.keychord_press(state, chord, key)` and `edit.key_release(state, key)`

* `edit.keychord_press(state, chord, key, readonly)` and `edit.key_release(state, key)`

  clipboard, undo/redo.

  clipboard, undo/redo. Setting `readonly` will disable mutating keystrokes.

function edit.text_input(State, t)

function edit.text_input(State, t, readonly)

  else

  elseif not readonly then

function edit.keychord_press(State, chord, key)
  if State.selection1.line and

function edit.keychord_press(State, chord, key, readonly)
  if not readonly and State.selection1.line and

  elseif chord == 'C-z' then

  elseif not readonly and chord == 'C-z' then

  elseif chord == 'C-y' then

  elseif not readonly and chord == 'C-y' then

  elseif chord == 'C-x' then

  elseif not readonly and chord == 'C-x' then

  elseif chord == 'C-v' then

  elseif not readonly and chord == 'C-v' then

    Text.keychord_press(State, chord)

    Text.keychord_press(State, chord, readonly)