manually save settings on change to loaded filenames

akkartik

Dec 9, 2023, 6:12 AM

DZLFYLDUMYM4TXT5WKUHD4YXF2J2TQM5SO4W4VXLPBJNDXYV43VQC

Dependencies

• [2] WCYQN74I bugfix: update handlers on new/delete
• [3] W4EQ6IW4 simplify state management for menus
• [4] ZGPYJMP3 bugfix: crash when saving to empty file
• [5] SJXIMERS type out a filename to load/save
• [6] FIUQJVL2 first draft of load/save buttons
• [*] RK2ASPN7 add lots of buttons to the toolbar
• [*] 6ARK6HWF bugfix: avoid overflowing 'delete' button in some situations

Change contents

• edit in 0117-load_button at line 14
  [3.2699]

  [3.2699]
  + -- Load new filename in future sessions.

  + -- On mobile devices, we can't depend on on.save_settings() triggering on quit.

  + love.filesystem.write('config', json.encode(settings()))
• replacement in 0117-load_button at line 19
  [3.2713]→[3.55:59](∅→∅)
  − end
  [3.2713]
  + end
• edit in 0116-save_button at line 11
  [3.3097]

  [3.3097]
  + -- Load new filename in future sessions.

  + -- On mobile devices, we can't depend on on.save_settings() triggering on quit.

  + love.filesystem.write('config', json.encode(settings()))
• replacement in 0116-save_button at line 19
  [3.3147]→[3.80:84](∅→∅)
  − end
  [3.3147]
  + end
• edit in 0076-delete_pane_button at line 17
  [2.126]

  [9.236]
  + -- Don't load the deleted pane in future sessions.

  + -- On mobile devices, we can't depend on on.save_settings() triggering on quit.

  + love.filesystem.write('config', json.encode(settings()))