From 5b110ae632d36f91281da183ca01c2692a2e7c54 Mon Sep 17 00:00:00 2001 From: kwaroran Date: Mon, 29 Jul 2024 01:15:25 +0900 Subject: [PATCH] rename changeGUI to updateDisplay and add id check --- src/ts/process/lua.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/ts/process/lua.ts b/src/ts/process/lua.ts index fde00266..60b7694d 100644 --- a/src/ts/process/lua.ts +++ b/src/ts/process/lua.ts @@ -191,7 +191,10 @@ export async function runLua(code:string, arg:{ console.log(JSON.parse(value)) }) - luaEngine.global.set('updateGUI', () => { + luaEngine.global.set('reloadDisplay', (id:string) => { + if(!LuaSafeIds.has(id)){ + return + } ReloadGUIPointer.set(get(ReloadGUIPointer) + 1) })