diff options
| author | Thomas Boerger <thomas@webhippie.de> | 2022-01-14 00:58:35 +0100 |
|---|---|---|
| committer | Thomas Boerger <thomas@webhippie.de> | 2022-01-17 00:33:29 +0100 |
| commit | 4c243ea8c800cab6840ba55635e76bbf70195611 (patch) | |
| tree | 8337039ccab72f7a727c70a2902bff9538bfd2f7 /modules/system | |
| parent | d053e8ade5ca7e784e3793e5cd07889189385abe (diff) | |
modules/system/defaults/dock.nix: make sure to use positive ints for hot corners
Diffstat (limited to 'modules/system')
| -rw-r--r-- | modules/system/defaults/dock.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/modules/system/defaults/dock.nix b/modules/system/defaults/dock.nix index 5297d1e..3e56fae 100644 --- a/modules/system/defaults/dock.nix +++ b/modules/system/defaults/dock.nix @@ -163,7 +163,7 @@ in { }; system.defaults.dock.wvous-tl-corner = mkOption { - type = types.nullOr types.int; + type = types.nullOr types.ints.positive; default = null; description = '' Hot corner action for top left corner. Valid values include: @@ -186,7 +186,7 @@ in { }; system.defaults.dock.wvous-bl-corner = mkOption { - type = types.nullOr types.int; + type = types.nullOr types.ints.positive; default = null; description = '' Hot corner action for bottom left corner. Valid values include: @@ -209,7 +209,7 @@ in { }; system.defaults.dock.wvous-tr-corner = mkOption { - type = types.nullOr types.int; + type = types.nullOr types.ints.positive; default = null; description = '' Hot corner action for top right corner. Valid values include: @@ -232,7 +232,7 @@ in { }; system.defaults.dock.wvous-br-corner = mkOption { - type = types.nullOr types.int; + type = types.nullOr types.ints.positive; default = null; description = '' Hot corner action for bottom right corner. Valid values include: |