diff options
author | 最萌小汐 <sumneko@hotmail.com> | 2021-03-18 16:49:07 +0800 |
---|---|---|
committer | 最萌小汐 <sumneko@hotmail.com> | 2021-03-18 16:49:07 +0800 |
commit | bcbc43127af9dfb3f2c6a73a7ba8d4dfa46d7fe2 (patch) | |
tree | fd4632f1fda25c9622519a2e040a2cb319377c28 /script/workspace | |
parent | 097d742ee92e40230a16c14c0f41ce149658141d (diff) | |
download | lua-language-server-bcbc43127af9dfb3f2c6a73a7ba8d4dfa46d7fe2.zip |
fix ignoreCase
Diffstat (limited to 'script/workspace')
-rw-r--r-- | script/workspace/workspace.lua | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua index 0dad1e1c..fd0978b3 100644 --- a/script/workspace/workspace.lua +++ b/script/workspace/workspace.lua @@ -157,9 +157,6 @@ function m.getLibraryMatchers() local nPath = fs.absolute(fs.path(path)):string() local matcher = glob.gitignore(true, m.matchOption, globInteferFace) matcher:setOption('root', path) - if platform.OS == 'Windows' then - matcher:setOption 'ignoreCase' - end log.debug('getLibraryMatchers', path, nPath) m.libraryMatchers[#m.libraryMatchers+1] = { path = nPath, |