From 10bbce581460395db065d41b898ba1b2af950204 Mon Sep 17 00:00:00 2001
From: David Heinemeier Hansson <david@hey.com>
Date: Thu, 30 May 2024 17:24:34 -0700
Subject: [PATCH] Turn off dynamic workspaces

---
 install/gnome-hotkeys.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/install/gnome-hotkeys.sh b/install/gnome-hotkeys.sh
index 52c5eb8..e492614 100644
--- a/install/gnome-hotkeys.sh
+++ b/install/gnome-hotkeys.sh
@@ -4,7 +4,8 @@ gsettings set org.gnome.desktop.wm.keybindings close "['<Super>w']"
 # Full-screen with title/navigation bar
 gsettings set org.gnome.desktop.wm.keybindings toggle-fullscreen "['<Shift>F11']"
 
-# Expand from 4 to 6 default workspaces
+# Use 6 fixed workspaces instead of dynamic mode
+gsettings set org.gnome.mutter dynamic-workspaces false
 gsettings set org.gnome.desktop.wm.preferences num-workspaces 6
 
 # Use alt for pinned apps