diff options
Diffstat (limited to 'modules/desktop/window-manager')
| -rw-r--r-- | modules/desktop/window-manager/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/desktop/window-manager/default.nix b/modules/desktop/window-manager/default.nix index de8034b..ed46a99 100644 --- a/modules/desktop/window-manager/default.nix +++ b/modules/desktop/window-manager/default.nix @@ -13,7 +13,7 @@ }; gap = lib.mkOption { - type = lib.types.number; + type = lib.types.int; default = 5; description = "The spacing between windows."; }; |