uramer a11e553de4 Optimize setting group rendering by rendering them as separate elements, support element-rendered setting renderers		2024-03-06 23:16:02 +01:00
..
common.lua	Let menu scripts clean up before loading a game	2024-01-27 14:47:22 +01:00
global.lua	Use a new life time API	2024-02-27 23:26:26 +04:00
menu.lua	Optimize setting group rendering by rendering them as separate elements, support element-rendered setting renderers	2024-03-06 23:16:02 +01:00
player.lua	Fix doc typos and add menu package to necessary lists	2024-01-14 17:47:23 +01:00
renderers.lua