From 07a9279d513fe2a5787bd0b3693b42b4b573e852 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9C=80=E8=90=8C=E5=B0=8F=E6=B1=90?= <sumneko@hotmail.com>
Date: Tue, 24 Aug 2021 18:07:13 +0800
Subject: [PATCH] change default to `Opened`
---
script/config/config.lua | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/script/config/config.lua b/script/config/config.lua
index fd112845a..b44b48dc5 100644
--- a/script/config/config.lua
+++ b/script/config/config.lua
@@ -167,8 +167,8 @@ local Template = {
>> util.deepCopy(define.DiagnosticDefaultNeededFileStatus),
['Lua.diagnostics.workspaceDelay'] = Type.Integer >> 0,
['Lua.diagnostics.workspaceRate'] = Type.Integer >> 100,
- ['Lua.diagnostics.libraryFiles'] = Type.String >> 'Disable',
- ['Lua.diagnostics.ignoredFiles'] = Type.String >> 'Disable',
+ ['Lua.diagnostics.libraryFiles'] = Type.String >> 'Opened',
+ ['Lua.diagnostics.ignoredFiles'] = Type.String >> 'Opened',
['Lua.workspace.ignoreDir'] = Type.Hash(Type.String, Type.Boolean, ';'),
['Lua.workspace.ignoreSubmodules'] = Type.Boolean >> true,
['Lua.workspace.useGitIgnore'] = Type.Boolean >> true,
--
GitLab