回复了主题  › aardio格式化插件

临时解决方案（考虑程序经常要升级，每次升级完成运行一次这个）

//修复aardioFormat自动运行 if (..io.exist("~/extensions/trigger/init.aardio")) {     var init = ..string.load("~/extensions/trigger/init.aardio");     if !..string.match(init, `@ide.createThread("~/tools/3) 编码/aardioFormat.aardi

回复了主题  › aardio格式化插件

目前init-user.aardio不能自动加载了。