sokoban.love/0098-on.save_settings

on.save_settings = function()
	return {
		font_height = Font_height,
		foreground_color = Foreground_color,
		background_color = Background_color,
		loaded_filenames = filenames_from_all_panes(),
	}
end
preserve settings across restart 2023-11-21 20:11:26 +00:00			`on.save_settings = function()`
			`return {`
			`font_height = Font_height,`
			`foreground_color = Foreground_color,`
remember when someone deletes an example 2023-11-23 05:22:34 +00:00			`background_color = Background_color,`
save the list of open files across restart 2023-11-26 20:26:22 +00:00			`loaded_filenames = filenames_from_all_panes(),`
preserve settings across restart 2023-11-21 20:11:26 +00:00			`}`
			`end`