dev: cleanup

This commit is contained in:
raf 2023-07-30 16:00:18 +03:00
commit 7f7926fbbb
No known key found for this signature in database
GPG key ID: 02D1DD3FA08B6B29
2 changed files with 186 additions and 181 deletions

View file

@ -260,10 +260,12 @@ with builtins; {
severity = mkOption {
description = "Severity for which the diagnostics will be displayed. See `:help diagnostic-severity`";
default = {
min = "HINT";
max = "ERROR";
};
type = types.submodule {
options = {
min = mkOption {
@ -306,7 +308,7 @@ with builtins; {
'';
};
timeOut = mkOption {
timeout = mkOption {
type = types.int;
default = 400;
description = ''
@ -472,6 +474,7 @@ with builtins; {
float = mkOption {
description = "Configuration options for floating window.";
default = {
enable = false;
quitOnFocusLoss = true;