From 935ecfb648049df11bc8f417237f0a1327142078 Mon Sep 17 00:00:00 2001
From: Malte Brandy <malte.brandy@maralorn.de>
Date: Thu, 17 Feb 2022 21:53:19 +0100
Subject: [PATCH] Save mousekey options

---
 home-manager/roles/gnome.nix | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/home-manager/roles/gnome.nix b/home-manager/roles/gnome.nix
index 505aac01..97ead9b8 100644
--- a/home-manager/roles/gnome.nix
+++ b/home-manager/roles/gnome.nix
@@ -99,6 +99,13 @@ in
         show-toggle-tiling-alt = [ "<Super>t" ];
         show-icon = false;
       };
+    # Generated via dconf2nix: https://github.com/gvolpe/dconf2nix
+    "keyboard" = {
+      mousekeys-accel-time = 2000;
+      mousekeys-enable = true;
+      mousekeys-init-delay = 0;
+      mousekeys-max-speed = 2000;
+    };
 
     "org/gnome/desktop/interface" = {
       gtk-theme = "Arc";