local lo, hi = Text.clip_selection(line_index, pos, pos+frag_len)

        local lo, hi = Text.clip_selection(line_index, pos, pos+frag_len, left, right)

      Text.delete_selection()

      Text.delete_selection(Margin_left, App.screen.width-Margin_right)

      Text.delete_selection()

      Text.delete_selection(Margin_left, App.screen.width-Margin_right)

function Text.clip_selection(line_index, apos, bpos)

function Text.clip_selection(line_index, apos, bpos, left, right)

    maxl,maxp = Text.mouse_pos()

    maxl,maxp = Text.mouse_pos(left, right)

function Text.mouse_pos()

function Text.mouse_pos(left, right)

  local line,pos = Text.to_pos(App.mouse_x(), App.mouse_y())

  local line,pos = Text.to_pos(App.mouse_x(), App.mouse_y(), left, right)

function Text.to_pos(x,y)

function Text.to_pos(x,y, left, right)

function Text.cut_selection()

function Text.cut_selection(left, right)

  Text.delete_selection()

  Text.delete_selection(left, right)

function Text.delete_selection()

function Text.delete_selection(left, right)

  Text.delete_selection_without_undo()

  Text.delete_selection_without_undo(left, right)

function Text.delete_selection_without_undo()

function Text.delete_selection_without_undo(left, right)

    Text.delete_selection()

    Text.delete_selection(Margin_left, App.screen.width-Margin_right)

    local s = Text.cut_selection()

    local s = Text.cut_selection(Margin_left, App.screen.width-Margin_right)