diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2020-11-03 10:01:37 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2020-11-03 10:01:37 +0800 |
| commit | 57cea535eecca00f208e39f9afbbaab68f152c05 (patch) | |
| tree | 3a1bdb7b5ded9da46485c7f36c9cac7578983fef /script/config.lua | |
| parent | 6a0b50e2ca3f4c27961618d118181a3959333171 (diff) | |
| download | lua-language-server-57cea535eecca00f208e39f9afbbaab68f152c05.zip | |
fix #239
Diffstat (limited to 'script/config.lua')
| -rw-r--r-- | script/config.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/script/config.lua b/script/config.lua index d1a65605..ecd56709 100644 --- a/script/config.lua +++ b/script/config.lua @@ -108,6 +108,8 @@ local ConfigTemplate = { table.deepCopy(DiagnosticDefaultSeverity), Hash(String, String), }, + workspaceDelay = {0, Integer}, + workspaceRate = {100, Integer}, }, workspace = { ignoreDir = {{}, Str2Hash ';'}, |