2023-11-26 17:49:54 +00:00
|
|
|
settings_button = function(x)
|
2023-11-26 17:53:09 +00:00
|
|
|
return right_justified_button('settings', x, Menu_top+5,
|
2023-11-26 07:03:20 +00:00
|
|
|
function()
|
2023-12-05 05:34:39 +00:00
|
|
|
Show_overflow = false
|
2023-11-21 10:19:56 +00:00
|
|
|
Show_settings = not Show_settings
|
2023-11-26 02:29:32 +00:00
|
|
|
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
|
2023-11-26 07:03:20 +00:00
|
|
|
end)
|
2023-11-21 06:23:09 +00:00
|
|
|
end
|