diff options
| author | sumneko <sumneko@hotmail.com> | 2019-04-03 15:14:38 +0800 |
|---|---|---|
| committer | sumneko <sumneko@hotmail.com> | 2019-04-03 15:14:38 +0800 |
| commit | 76c979bd235e24e111a09608e8705f9cc81f1af0 (patch) | |
| tree | 423b6d414d430a68cc535c18f8b59c432579003c /package.json | |
| parent | 84328aded8e4f39ac67e5c5046303e3273eabed9 (diff) | |
| download | lua-language-server-76c979bd235e24e111a09608e8705f9cc81f1af0.zip | |
根据运行时版本加载不同的函数库
Diffstat (limited to 'package.json')
| -rw-r--r-- | package.json | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/package.json b/package.json index 6d04196f..dadef7bb 100644 --- a/package.json +++ b/package.json @@ -33,6 +33,18 @@ "type": "object", "title": "Lua", "properties": { + "Lua.runtime.version": { + "scope": "resource", + "type": "string", + "default": "Lua 5.3", + "enum": [ + "Lua 5.1", + "Lua 5.2", + "Lua 5.3", + "Lua 5.4" + ], + "description": "Lua runtime version.\nLua运行版本。" + }, "Lua.diagnostics.disable": { "scope": "resource", "type": "array", |