dev use submodules for diagnostics

This commit is contained in:
raf 2023-07-30 14:46:59 +03:00
parent b90ec97fed
commit 500c9b67dd
No known key found for this signature in database
GPG key ID: 02D1DD3FA08B6B29
2 changed files with 61 additions and 49 deletions

View file

@ -199,18 +199,6 @@ with builtins; {
debounceDelay = 50; debounceDelay = 50;
showOnDirs = false; showOnDirs = false;
showOnOpenDirs = true; showOnOpenDirs = true;
icons = {
hint = "";
info = "";
warning = "";
error = "";
};
severity = {
min = "HINT";
max = "ERROR";
};
}; };
type = types.submodule { type = types.submodule {
@ -232,7 +220,18 @@ with builtins; {
type = types.bool; type = types.bool;
}; };
icons = { icons = mkOption {
description = "Icons for diagnostic severity.";
default = {
hint = "";
info = "";
warning = "";
error = "";
};
type = types.submodule {
options = {
hint = mkOption { hint = mkOption {
description = "Icon used for `hint` diagnostic."; description = "Icon used for `hint` diagnostic.";
type = types.str; type = types.str;
@ -250,8 +249,19 @@ with builtins; {
type = types.str; type = types.str;
}; };
}; };
};
};
severity = { severity = mkOption {
description = "Severity for which the diagnostics will be displayed";
default = {
min = "HINT";
max = "ERROR";
};
type = types.submodule {
options = {
min = mkOption { min = mkOption {
description = "Minimum severity."; description = "Minimum severity.";
type = types.enum ["HINT" "INFO" "WARNING" "ERROR"]; type = types.enum ["HINT" "INFO" "WARNING" "ERROR"];
@ -265,6 +275,8 @@ with builtins; {
}; };
}; };
}; };
};
};
git = { git = {
enable = mkEnableOption "Git integration with icons and colors."; enable = mkEnableOption "Git integration with icons and colors.";