summaryrefslogtreecommitdiff
path: root/script/workspace
diff options
context:
space:
mode:
author最萌小汐 <sumneko@hotmail.com>2021-03-18 16:49:07 +0800
committer最萌小汐 <sumneko@hotmail.com>2021-03-18 16:49:07 +0800
commitbcbc43127af9dfb3f2c6a73a7ba8d4dfa46d7fe2 (patch)
treefd4632f1fda25c9622519a2e040a2cb319377c28 /script/workspace
parent097d742ee92e40230a16c14c0f41ce149658141d (diff)
downloadlua-language-server-bcbc43127af9dfb3f2c6a73a7ba8d4dfa46d7fe2.zip
fix ignoreCase
Diffstat (limited to 'script/workspace')
-rw-r--r--script/workspace/workspace.lua3
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,