From 9acb5b1adc50d29aa18dc4323bc4b63b05fdb59f Mon Sep 17 00:00:00 2001
From: fortuneteller2k <lythe1107@gmail.com>
Date: Wed, 27 Dec 2023 11:30:04 +0800
Subject: [PATCH] Use native floats for mouse scaling

---
 modules/system/defaults/GlobalPreferences.nix | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/modules/system/defaults/GlobalPreferences.nix b/modules/system/defaults/GlobalPreferences.nix
index e6964aad6..32841bede 100644
--- a/modules/system/defaults/GlobalPreferences.nix
+++ b/modules/system/defaults/GlobalPreferences.nix
@@ -3,15 +3,7 @@
 with lib;
 
 let
-  isFloat = x: isString x && builtins.match "^[+-]?([0-9]*[.])?[0-9]+$" x != null;
-
-  float = mkOptionType {
-    name = "float";
-    description = "float";
-    check = isFloat;
-    merge = options.mergeOneOption;
-  };
-
+  inherit (config.lib.defaults.types) floatWithDeprecationError;
 in {
   options = {
 
@@ -28,8 +20,9 @@ in {
 
     system.defaults.".GlobalPreferences"."com.apple.mouse.scaling" =
       mkOption {
-        type = types.nullOr float;
+        type = types.nullOr floatWithDeprecationError;
         default = null;
+        example = -1;
         description = lib.mdDoc ''
           Sets the mouse tracking speed. Found in the "Mouse" section of
           "System Preferences". Set to -1 to disable mouse acceleration.