diff options
Diffstat (limited to 'script/config/config.lua')
-rw-r--r-- | script/config/config.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/config/config.lua b/script/config/config.lua index 2f923d89..0e18428f 100644 --- a/script/config/config.lua +++ b/script/config/config.lua @@ -170,7 +170,7 @@ local Template = { ['Lua.diagnostics.workspaceRate'] = Type.Integer >> 100, ['Lua.diagnostics.libraryFiles'] = Type.String >> 'Opened', ['Lua.diagnostics.ignoredFiles'] = Type.String >> 'Opened', - ['Lua.workspace.ignoreDir'] = Type.Hash(Type.String, Type.Boolean, ';'), + ['Lua.workspace.ignoreDir'] = Type.Array(Type.String), ['Lua.workspace.ignoreSubmodules'] = Type.Boolean >> true, ['Lua.workspace.useGitIgnore'] = Type.Boolean >> true, ['Lua.workspace.maxPreload'] = Type.Integer >> 1000, |