From 4c243ea8c800cab6840ba55635e76bbf70195611 Mon Sep 17 00:00:00 2001
From: Thomas Boerger <thomas@webhippie.de>
Date: Fri, 14 Jan 2022 00:58:35 +0100
Subject: [PATCH] modules/system/defaults/dock.nix: make sure to use positive
 ints for hot corners

---
 modules/system/defaults/dock.nix | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/modules/system/defaults/dock.nix b/modules/system/defaults/dock.nix
index 5297d1e3..3e56fae8 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: