From f2c78d74278ce03deaa1d3d7fa90c2321ac99b42 Mon Sep 17 00:00:00 2001
From: Pim Kunis <pim@kunis.nl>
Date: Tue, 19 Nov 2024 17:52:33 +0100
Subject: [PATCH] Fix number of workspaces in GNOME

---
 .gitignore             | 1 +
 home-manager/gnome.nix | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 0d3fe25..b84eb14 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 result
 .direnv
 .pre-commit-config.yaml
+.gcroots
diff --git a/home-manager/gnome.nix b/home-manager/gnome.nix
index 3de2ead..ce22d6a 100644
--- a/home-manager/gnome.nix
+++ b/home-manager/gnome.nix
@@ -14,7 +14,7 @@ in {
 
     dconf.settings = with lib.hm.gvariant; {
       "org/gnome/desktop/sound".allow-volume-above-100-percent = true;
-      "org/gnome/desktop/wm.preferences".num-workspaces = 4;
+      "org/gnome/desktop/wm/preferences".num-workspaces = 4;
       "org/gnome/mutter".edge-tiling = true;
 
       "org/gnome/shell" = {