bugfix: save settings on mobile devices

akkartik

Nov 26, 2023, 2:30 AM

5JMR2IJSQBWRWH4DKXJJ2Q5V6A2HG4SPBP67HNCG6IZ4UEI577CAC

Dependencies

• [2] YS4AQXJC hide other menus when opening one
• [*] RK2ASPN7 add lots of buttons to the toolbar

Change contents

• edit in 0072-settings_button at line 11
  [2.169]

  [4.1705]
  + if not 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