diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-08-15 16:29:09 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-08-15 16:29:09 +0800 |
| commit | dd41a923bbe77698f7b44dad2ac29828060341ff (patch) | |
| tree | e2a1a97ae22e519819e5622be7ac0100136dcd02 /script-beta/vm/eachDef.lua | |
| parent | 081ad3c0c8cc7935d5e5aa52e2a4c2bcc47f3402 (diff) | |
| download | lua-language-server-dd41a923bbe77698f7b44dad2ac29828060341ff.zip | |
修改一下诊断格式
Diffstat (limited to 'script-beta/vm/eachDef.lua')
| -rw-r--r-- | script-beta/vm/eachDef.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/script-beta/vm/eachDef.lua b/script-beta/vm/eachDef.lua index dfd6ce1a..316a3cb1 100644 --- a/script-beta/vm/eachDef.lua +++ b/script-beta/vm/eachDef.lua @@ -25,8 +25,8 @@ function m.eachDef(source, results) end local myResults, count = guide.requestDefinition(source, vm.interface) - if DEVELOP and count > 10 then - log.warn('requestDefinition', count, util.dump(source, { deep = 0 })) + if DEVELOP and count > 100 then + log.warn('requestDefinition', count, guide.getRoot(source).uri, util.dump(source, { deep = 1 })) end vm.mergeResults(results, myResults) m.searchLibrary(source, results) |