diff options
| author | sumneko <sumneko@hotmail.com> | 2019-05-28 11:32:43 +0800 |
|---|---|---|
| committer | sumneko <sumneko@hotmail.com> | 2019-05-28 11:32:43 +0800 |
| commit | c6ad0a3d298d5eca968ae1835c566372b2b18c15 (patch) | |
| tree | d4be8e124409a7f668408c474de0cea253c12cce | |
| parent | 50af924224e2616b088bcd43b38170f430e2f6ca (diff) | |
| download | lua-language-server-c6ad0a3d298d5eca968ae1835c566372b2b18c15.zip | |
不要这个选项了，因为本地配置是依赖客户端的
| -rw-r--r-- | package.json | 6 | ||||
| -rw-r--r-- | server/src/config.lua | 3 | ||||
| -rw-r--r-- | server/test/build_package.lua | 6 |
3 files changed, 0 insertions, 15 deletions
diff --git a/package.json b/package.json index 4dfae788..f1a701c9 100644 --- a/package.json +++ b/package.json @@ -249,12 +249,6 @@ "markdownDescription": "%config.workspace.useGitIgnore%", "scope": "resource", "type": "boolean" - }, - "Lua.zombi.party": { - "default": false, - "description": "DONT TOUCH ME >_<", - "scope": "resource", - "type": "boolean" } }, "title": "Lua", diff --git a/server/src/config.lua b/server/src/config.lua index c948a2b6..2983cbd1 100644 --- a/server/src/config.lua +++ b/server/src/config.lua @@ -121,9 +121,6 @@ local ConfigTemplate = { Or(Boolean, Array(String)) )} }, - zombi = { - party = {false, Boolean}, - } } local OtherTemplate = { diff --git a/server/test/build_package.lua b/server/test/build_package.lua index fa250bfc..8d7117fe 100644 --- a/server/test/build_package.lua +++ b/server/test/build_package.lua @@ -111,12 +111,6 @@ local package = { default = 100, description = "%config.workspace.preloadFileSize%" }, - ["Lua.zombi.party"] = { - scope = "resource", - type = "boolean", - default = false, - description = "DONT TOUCH ME >_<" - } --["Lua.workspace.library"] = { -- scope = 'resource', -- type = 'object', |