end
function Text.cut_selection()
  local result = Text.selection()
  Text.delete_selection()
  return result

end
function Text.cut_selection()
  local result = Text.selection()
  Text.delete_selection()
  return result