From 9b8acebb6bd6cf06fd38a3706129156402909954 Mon Sep 17 00:00:00 2001
From: Edmund Miller <edmund.a.miller@protonmail.com>
Date: Mon, 16 Oct 2023 10:01:28 +0200
Subject: [PATCH] fix(gnome): Fix number of workspaces

Also remove dynamic workspaces
---
 modules/desktop/gnome.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/modules/desktop/gnome.nix b/modules/desktop/gnome.nix
index a9633776..131347d3 100644
--- a/modules/desktop/gnome.nix
+++ b/modules/desktop/gnome.nix
@@ -114,9 +114,14 @@ in {
           color-scheme = "prefer-dark";
           enable-hot-corners = false;
         };
+
+        # Workspaces
+        "org/gnome/mutter" = {
+          dynamic-workspaces = false;
+        };
         "org/gnome/desktop/wm/preferences" = {
           button-layout = "appmenu:minimize,maximize,close";
-          num-workspaces = "5";
+          num-workspaces = 5;
           titlebar-font = "Cantarell Bold 14";
           workspace-names = ["Web" "Editor" "Terminal" "Chat" "Scratch"];
         };