end
  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708
  love.window.setTitle('lines.love - source')
end
  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708
  love.window.setTitle('lines.love - source')

end
function run.draw()
  edit.draw(Editor_state)
end
function run.update(dt)
  Cursor_time = Cursor_time + dt
  edit.update(Editor_state, dt)
end
function run.quit()
  edit.quit(Editor_state)
end
function run.settings()
  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708
  love.window.setTitle('lines.love - '..Editor_state.filename)
  if #arg > 1 then
    print('ignoring commandline args after '..arg[1])
  end
  if rawget(_G, 'jit') then
    jit.off()
    jit.flush()
  end
end
function run.load_settings()
  love.graphics.setFont(love.graphics.newFont(Settings.font_height))
  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708
  love.window.setTitle('lines.love - '..Editor_state.filename)

  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708

  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708

  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708

  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708

  if Current_app == 'run' then

  elseif Current_app == 'source' then