simplify saving settings

Dependencies

• [2] EMG7SDLW bugfix: cold start
• [3] L2FWWEQL source: remember cursor position of multiple files
• [4] 5RDWSYK2 consistently use App names for methods everywhere
• [5] ZJOSQFN6 bugfix: path munging on Windows
• [6] SW7BSBMJ several bugfixes in saving/loading cursor position
• [7] CQYKYJJU remember window positions across restart/ctrl+e
• [8] C7OO4H3S source: support only relative paths within the app
• [9] NFI42KGX more correct absolute path detection
• [10] OMLASW7K experiment at avoiding some merge conflicts
• [11] KKMFQDR4 editing source code from within the app
• [12] JMUD7T3O get rid of ugly side-effects in tests

Change contents

• replacement in source.lua at line 276
  [5.173727]→[5.173727:173809](∅→∅),[5.173809]→[5.478:573](∅→∅),[5.297]→[5.174094:174206](∅→∅),[5.647]→[5.174094:174206](∅→∅),[5.174094]→[5.174094:174206](∅→∅)
  − if Current_app == 'source' then

  − --? print('reading source window position')

  − Settings.source.x, Settings.source.y, Settings.source.displayindex = App.screen.position()

  − end

  − --? print('saving source settings', Settings.source.x, Settings.source.y, Settings.source.displayindex)
  [5.173727]

  [3.509]
  + Settings.source.x, Settings.source.y, Settings.source.displayindex = App.screen.position()
• edit in run.lua at line 155
  [2.59]→[2.59:65](∅→∅),[2.65]→[5.89:120](∅→∅),[5.182517]→[5.89:120](∅→∅),[5.120]→[4.579:653](∅→∅)
  − end

  − if Current_app == 'run' then

  − Settings.x, Settings.y, Settings.displayindex = App.screen.position()
• edit in run.lua at line 156
  [5.182756]

  [5.182756]
  + Settings.x, Settings.y, Settings.displayindex = App.screen.position()