filename = love.filesystem.getUserDirectory()..'/lines.txt',  -- '/' should work even on Windows
    next_save = nil,

  local os_path_separator = package.config:sub(1,1)
  if filename:sub(1,1) ~= os_path_separator then
    filename = love.filesystem.getWorkingDirectory()..os_path_separator..filename
  end
--?   print('saving source settings', Settings.source.x, Settings.source.y, Settings.source.displayindex)
  return {
    x=Settings.source.x, y=Settings.source.y, displayindex=Settings.source.displayindex,
    width=App.screen.width, height=App.screen.height,
    font_height=Editor_state.font_height,
    filename=filename,
    screen_top=Editor_state.screen_top1, cursor=Editor_state.cursor1,
    show_log_browser_side=Show_log_browser_side,
    focus=Focus,
  }
end
function source.mouse_pressed(x,y, mouse_button)
  Cursor_time = 0  -- ensure cursor is visible immediately after it moves
--?   print('mouse click', x, y)
--?   print(Editor_state.left, Editor_state.right)
--?   print(Log_browser_state.left, Log_browser_state.right)

  local os_path_separator = package.config:sub(1,1)
  if filename:sub(1,1) ~= os_path_separator then
    filename = love.filesystem.getWorkingDirectory()..os_path_separator..filename
  end
  return {

    filename = love.filesystem.getUserDirectory()..'/lines.txt',

    filename = love.filesystem.getUserDirectory()..'/lines.txt',  -- '/' should work even on Windows

    filename = love.filesystem.getUserDirectory()..'/lines.txt',  -- '/' should work even on Windows

  if filename:sub(1,1) ~= '/' then
    filename = love.filesystem.getWorkingDirectory()..'/'..filename  -- '/' should work even on Windows

  local os_path_separator = package.config:sub(1,1)
  if filename:sub(1,1) ~= os_path_separator then
    filename = love.filesystem.getWorkingDirectory()..os_path_separator..filename