diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-12-04 11:35:53 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-12-04 11:35:53 +0800 |
| commit | d031852bf13cdf195bb834848f6f7ddba0b1b4ac (patch) | |
| tree | eeafc3272dc0bc84753461e7a357558dcc0b035d /script/config.lua | |
| parent | a7f8fb8b3bfbd3fb23d208cf789d276961a28056 (diff) | |
| download | lua-language-server-d031852bf13cdf195bb834848f6f7ddba0b1b4ac.zip | |
new setting `runtime.unicodeName`
Diffstat (limited to 'script/config.lua')
| -rw-r--r-- | script/config.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script/config.lua b/script/config.lua index 59dc75cc..298083a4 100644 --- a/script/config.lua +++ b/script/config.lua @@ -103,6 +103,7 @@ local ConfigTemplate = { }, Array(String)}, special = {{}, Hash(String, String)}, meta = {'${version} ${language}', String}, + unicodeName = {false, Boolean}, }, diagnostics = { enable = {true, Boolean}, |