diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2022-10-12 19:42:16 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2022-10-12 19:42:16 +0800 |
commit | 6a894485b4eab731adbbdbf3803dca75dc35e83c (patch) | |
tree | 4c5eb2a9536475318c9462444baa1a5f750c1f4a | |
parent | 0ccf3647a2c8213be6d53fa343f89fd656af9565 (diff) | |
download | lua-language-server-6a894485b4eab731adbbdbf3803dca75dc35e83c.zip |
change flag
-rw-r--r-- | script/global.d.lua | 4 | ||||
-rw-r--r-- | script/vm/node.lua | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/script/global.d.lua b/script/global.d.lua index d647a69e..04b1855b 100644 --- a/script/global.d.lua +++ b/script/global.d.lua @@ -56,3 +56,7 @@ LOGLEVEL = 'warn' ---@type boolean LAZY = false + +-- (experiment) Improve performance, but reduce accuracy +---@type boolean +CACHEALIVE = false diff --git a/script/vm/node.lua b/script/vm/node.lua index 9b10fa9d..3866e56a 100644 --- a/script/vm/node.lua +++ b/script/vm/node.lua @@ -481,7 +481,7 @@ local delayTimer files.watch(function (ev, uri) if ev == 'version' then if ws.isReady(uri) then - if PREVIEW then + if CACHEALIVE then if delayTimer then delayTimer:restart() end |