extract a function

Dependencies

• [2] JMUD7T3O get rid of ugly side-effects in tests
• [3] S3PNFXTB handle missing cursors in settings
• [4] KKMFQDR4 editing source code from within the app

Change contents

• replacement in source.lua at line 108
  [4.168537]→[4.168537:168600](∅→∅),[4.168600]→[2.12:121](∅→∅),[2.121]→[4.168715:169063](∅→∅),[4.168715]→[4.168715:169063](∅→∅),[4.169063]→[2.122:197](∅→∅)
  − -- maximize window to determine maximum allowable dimensions

  − App.screen.resize(0, 0) -- maximize

  − Display_width, Display_height, App.screen.flags = App.screen.size()

  − -- set up desired window dimensions

  − App.screen.flags.resizable = true

  − App.screen.flags.minwidth = math.min(Display_width, 200)

  − App.screen.flags.minheight = math.min(Display_height, 200)

  − App.screen.width, App.screen.height = settings.width, settings.height

  − --? print('setting window from settings:', App.screen.width, App.screen.height)

  − App.screen.resize(App.screen.width, App.screen.height, App.screen.flags)
  [4.168537]

  [4.169140]
  + source.resize_window_from_settings(settings)
• edit in source.lua at line 128
  [3.389]

  [4.169733]
  + end

  +

  + function source.resize_window_from_settings(settings)

  + -- maximize window to determine maximum allowable dimensions

  + App.screen.resize(0, 0) -- maximize

  + Display_width, Display_height, App.screen.flags = App.screen.size()

  + -- set up desired window dimensions

  + App.screen.flags.resizable = true

  + App.screen.flags.minwidth = math.min(Display_width, 200)

  + App.screen.flags.minheight = math.min(Display_height, 200)

  + App.screen.width, App.screen.height = settings.width, settings.height

  + --? print('setting window from settings:', App.screen.width, App.screen.height)

  + App.screen.resize(App.screen.width, App.screen.height, App.screen.flags)