uramer 891f3583fe Only reset settings when there is no game, not on game end / player death		2024-02-04 11:12:12 +01:00
..
common.lua	Let menu scripts clean up before loading a game	2024-01-27 14:47:22 +01:00
global.lua	Fix Menu Lua settings reset between states	2024-01-13 00:46:24 +01:00
menu.lua	Only reset settings when there is no game, not on game end / player death	2024-02-04 11:12:12 +01:00
player.lua	Fix doc typos and add menu package to necessary lists	2024-01-14 17:47:23 +01:00
renderers.lua	Render invalid 'select' setting renderer values instead of silent failure	2023-11-11 18:09:00 +01:00