diff options
author | Tommy Williams <wommy@users.noreply.github.com> | 2023-11-24 09:55:19 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-24 11:55:19 -0500 |
commit | ee9790b381416781063d0de6653b303f10ed89b0 (patch) | |
tree | 6f7125f1300b97e8e0be6586b180c27b0a901b1b | |
parent | 1915cea32e13fcb4191904de8f5e0252ad050a6e (diff) |
option to reduce noisy Lua_LS's missing-fields warnings (#511)
-rw-r--r-- | init.lua | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -522,6 +522,8 @@ local servers = { Lua = { workspace = { checkThirdParty = false }, telemetry = { enable = false }, + -- NOTE: toggle below to ignore Lua_LS's noisy `missing-fields` warnings + -- diagnostics = { disable = { 'missing-fields' } }, }, }, } |