fix: change workspace spacing option to float (#749)

This commit is contained in:
Keon Lee
2025-02-04 08:35:03 +00:00
committed by GitHub
parent 74065af3d2
commit 537a9653ed

View File

@@ -351,7 +351,7 @@ in
bar.workspaces.showWsIcons = mkBoolOption false; bar.workspaces.showWsIcons = mkBoolOption false;
bar.workspaces.show_icons = mkBoolOption false; bar.workspaces.show_icons = mkBoolOption false;
bar.workspaces.show_numbered = 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.workspaceMask = mkBoolOption false;
bar.workspaces.workspaces = mkIntOption 5; bar.workspaces.workspaces = mkIntOption 5;
dummy = mkBoolOption true; dummy = mkBoolOption true;