diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2021-02-05 16:24:04 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2021-02-05 16:24:04 +0800 |
| commit | 837f8ab0acf7963b0f65529869562cd86e2a12c2 (patch) | |
| tree | fd8826c2bcb7435c4897da58d58ad9b2cbbc1b98 /script/provider/provider.lua | |
| parent | 57b53b7d6edfb3d6a61423468542e2a403de4d9e (diff) | |
| download | lua-language-server-837f8ab0acf7963b0f65529869562cd86e2a12c2.zip | |
should check library
Diffstat (limited to 'script/provider/provider.lua')
| -rw-r--r-- | script/provider/provider.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/script/provider/provider.lua b/script/provider/provider.lua index 4db7c3c1..d5a2b10b 100644 --- a/script/provider/provider.lua +++ b/script/provider/provider.lua @@ -175,7 +175,7 @@ proto.on('workspace/didChangeWatchedFiles', function (params) -- 如果文件处于关闭状态，则立即更新；否则等待didChange协议来更新 if files.isLua(uri) and not files.isOpen(uri) - and not workspace.isIgnored(uri) then + and (not workspace.isIgnored(uri) or files.isLibrary(uri)) then plugin.awaitReady() files.setText(uri, pub.awaitTask('loadFile', uri), false) else @@ -814,6 +814,9 @@ do end end end + if #edits == 0 then + log.debug('hints 0', util.dump(visibles)) + end proto.notify('$/hint', { uri = uri, |