I don't even know what's wrong anymore

This commit is contained in:
raf 2023-07-30 14:40:38 +03:00
parent 05f3c653bf
commit b90ec97fed
No known key found for this signature in database
GPG key ID: 02D1DD3FA08B6B29
2 changed files with 17 additions and 15 deletions

View file

@ -193,6 +193,7 @@ with builtins; {
Show LSP and COC diagnostics in the signcolumn Show LSP and COC diagnostics in the signcolumn
Note that the modified sign will take precedence over the diagnostics signs. Note that the modified sign will take precedence over the diagnostics signs.
''; '';
default = { default = {
enable = false; enable = false;
debounceDelay = 50; debounceDelay = 50;
@ -211,6 +212,7 @@ with builtins; {
max = "ERROR"; max = "ERROR";
}; };
}; };
type = types.submodule { type = types.submodule {
options = { options = {
enable = mkEnableOption "diagnostics"; enable = mkEnableOption "diagnostics";