filename=absolutize(Editor_state.filename),
function absolutize(path)
  if is_relative_path(path) then
    return love.filesystem.getWorkingDirectory()..'/'..path  -- '/' should work even on Windows
  end
  return path
end
function run.mouse_press(x,y, mouse_button)
    screen_top=Editor_state.screen_top1, cursor=Editor_state.cursor1
  }
end
  if #arg > 0 and Editor_state.filename ~= absolutize(arg[1]) then
    Editor_state.filename = arg[1]
    load_from_disk(Editor_state)
    Text.redraw_all(Editor_state)
    Editor_state.screen_top1 = {line=1, pos=1}
    Editor_state.cursor1 = {line=1, pos=1}

  if #arg > 0 then

  if #arg > 0 and Editor_state.filename ~= absolutize(arg[1]) then

  end
  local filename = Editor_state.filename
  if is_relative_path(filename) then
    filename = love.filesystem.getWorkingDirectory()..'/'..filename  -- '/' should work even on Windows

    filename=filename,

    filename=absolutize(Editor_state.filename),

function absolutize(path)
  if is_relative_path(path) then
    return love.filesystem.getWorkingDirectory()..'/'..path  -- '/' should work even on Windows
  end
  return path
end

      or edit.invalid1(State, State.cursor1)

      or edit.invalid_cursor1(State)

end
-- cursor loc in particular differs from other locs in one way:
-- pos might occur just after end of line
function edit.invalid_cursor1(State)
  local cursor1 = State.cursor1
  if cursor1.line > #State.lines then return true end
  local l = State.lines[cursor1.line]
  if l.mode ~= 'text' then return false end  -- pos is irrelevant to validity for a drawing line
  return cursor1.pos > #State.lines[cursor1.line].data + 1

end

end

-- cursor loc in particular differs from other locs in one way:
-- pos might occur just after end of line
function edit.invalid_cursor1(State)
  local cursor1 = State.cursor1
  if cursor1.line > #State.lines then return true end
  local l = State.lines[cursor1.line]
  if l.mode ~= 'text' then return false end  -- pos is irrelevant to validity for a drawing line
  return cursor1.pos > #State.lines[cursor1.line].data + 1