Enable jedils diagnostics

This commit is contained in:
2023-09-19 16:09:39 +02:00
parent 3dc2e7801d
commit 9cc2f8a2a0
+2 -2
View File
@@ -34,12 +34,12 @@ return {
init_options = { init_options = {
-- Built-in diagnostics seem to be very basic, -- Built-in diagnostics seem to be very basic,
-- to the point where you are wondering if it's even active. -- to the point where you are wondering if it's even active.
-- Will use iamcco/diagnostic-languageserver instead. -- Will use flake8 together with diagnosticls for added linting
diagnostics = { diagnostics = {
-- Enables (or disables) diagnostics provided by Jedi -- Enables (or disables) diagnostics provided by Jedi
-- type: boolean -- type: boolean
-- default: true -- default: true
enable = false, enable = true,
}, },
-- The preferred MarkupKind for all jedi-language-server messages that take MarkupContent. -- The preferred MarkupKind for all jedi-language-server messages that take MarkupContent.
-- type: string -- type: string