print('loading source position', settings.x, settings.y, settings.displayindex)

--?   print('loading source position', settings.x, settings.y, settings.displayindex)

function source.settings()
  -- save some important settings
  if Current_app == 'source' then
    print('reading source window position')

function source.settings(ignore_window_position)
  if Current_app == 'source' and not ignore_window_position then
--?     print('reading source window position')

  print('saving source settings', Settings.source.x, Settings.source.y, Settings.source.displayindex)

--?   print('saving source settings', Settings.source.x, Settings.source.y, Settings.source.displayindex)

      Settings.source.x, Settings.source.y, Settings.source.displayindex = love.window.getPosition()

    love.quit()

    App.quit(--[[ignore_window_position]] true)

  save_settings()

  App.quit(nil)
end
function App.quit(ignore_window_position)
  save_settings(ignore_window_position)

function save_settings()

function save_settings(ignore_window_position)

    source=source.settings(),

    source=source.settings(ignore_window_position),

    - from previous session
        - Filename as absolute path
        - Filename as relative path
        - Current_app 'source'
        - Current_app 'pong'
    - from defaults

    - delete app settings, start; window opens playing pong
    - quit while playing pong, restart; window opens playing pong in same position+dimensions
    - quit while editing source, restart; window opens editing source in same position+dimensions
    - start out playing pong, move window, press ctrl+e twice; window is playing pong in same position+dimensions
    - start out editing source, move window, press ctrl+e twice; window is editing source in same position+dimensions