diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-11-20 23:20:50 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-11-20 23:20:50 +0800 |
| commit | 02b373942c8be088e61b6088c2ca943ecb1d5b8e (patch) | |
| tree | 63837e6d58de672d02ecae96e0ec385a645d1838 | |
| parent | 829dcb1964491f1e10afa73a4f8444cdbc487a9f (diff) | |
| download | lua-language-server-02b373942c8be088e61b6088c2ca943ecb1d5b8e.zip | |
fix bug of workspace.isIgnored
| -rw-r--r-- | script/workspace/workspace.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 96b982b8..cfc94012 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -155,7 +155,7 @@ end --- 文件是否被忽略 function m.isIgnored(uri) - local path = furi.decode(uri) + local path = m.getRelativePath(uri) local ignore = m.getNativeMatcher() if not ignore then return false |