From 537a9653edb377230ff3c9e8308e7648cb38225f Mon Sep 17 00:00:00 2001
From: Keon Lee <70371393+keonly@users.noreply.github.com>
Date: Tue, 4 Feb 2025 08:35:03 +0000
Subject: [PATCH] fix: change workspace spacing option to float (#749)

---
 nix/module.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/module.nix b/nix/module.nix
index f0d6e16..f9a24ee 100644
--- a/nix/module.nix
+++ b/nix/module.nix
@@ -351,7 +351,7 @@ in
       bar.workspaces.showWsIcons = mkBoolOption false;
       bar.workspaces.show_icons = mkBoolOption false;
       bar.workspaces.show_numbered = mkBoolOption false;
-      bar.workspaces.spacing = mkIntOption 1;
+      bar.workspaces.spacing = mkFloatOption 1.0;
       bar.workspaces.workspaceMask = mkBoolOption false;
       bar.workspaces.workspaces = mkIntOption 5;
       dummy = mkBoolOption true;