bugfix: autosave settings

akkartik

Dec 2, 2023, 3:56 AM

RVJNNICYVRHL6NXTFGKMOT4JQFQYLORAINWYXIXFJZC55JRM5VBQC

Dependencies

• [2] JV27LDDK sliders for font size and color settings
• [3] 5RUFNRJO start of the visual skeleton
• [4] IP4LD33D mouse events for scrollbar
• [5] 6DJMOJKE support event handlers
• [6] Z5M23NTK implement second, 'output' editor
• [7] ZM7NOBRM new fork: carousel shell

Change contents

• edit in 0016-on.mouse_press at line 10
  [2.5933]

  [2.5933]
  + if Show_settings then

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

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

  + end
• replacement in 0016-on.mouse_press at line 34
  [3.1606]→[3.2460:2463](∅→∅),[3.2460]→[3.2460:2463](∅→∅)
  − end
  [3.1606]
  + end