source: no commandline args

Dependencies

• [2] KKMFQDR4 editing source code from within the app
• [3] X3CQLBTR set window title within each app
• [4] JMUD7T3O get rid of ugly side-effects in tests

Change contents

• replacement in source.lua at line 86
  [2.167480]→[2.167480:167813](∅→∅)
  − function source.initialize_edit_side(arg)

  − if #arg > 0 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}

  − else

  − load_from_disk(Editor_state)

  − Text.redraw_all(Editor_state)

  − end
  [2.167480]

  [2.167813]
  + function source.initialize_edit_side()

  + load_from_disk(Editor_state)

  + Text.redraw_all(Editor_state)
• edit in source.lua at line 90
  [2.167814]→[2.167814:167894](∅→∅)
  − if #arg > 1 then

  − print('ignoring commandline args after '..arg[1])

  − end

  −
• edit in source.lua at line 145
  [2.170283]

  [2.170283]
  + Editor_state.filename = 'run.lua'