dev: default window width to int

This commit is contained in:
raf 2023-07-30 12:02:42 +03:00
parent 0d7875d0af
commit 24b5839922
No known key found for this signature in database
GPG key ID: 02D1DD3FA08B6B29

View file

@ -414,11 +414,7 @@ with builtins; {
longest line (previously `view.adaptive_size`). longest line (previously `view.adaptive_size`).
''; '';
default = { default = 30;
min = 30;
max = -1;
padding = 1;
};
type = with types; oneOf [int attrs]; type = with types; oneOf [int attrs];
}; };