From 843dfb986de352c5d6192751d7ea583e7821adce Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Sun, 4 May 2025 13:51:54 +0200
Subject: [PATCH] Fix type of monitor.workspaces

---
 modules/home-manager/monitors.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/modules/home-manager/monitors.nix b/modules/home-manager/monitors.nix
index daed4ed..9c4d36c 100644
--- a/modules/home-manager/monitors.nix
+++ b/modules/home-manager/monitors.nix
@@ -37,8 +37,8 @@ in {
             type = types.bool;
             default = true;
           };
-          workspace = mkOption {
-            type = types.nullOr types.str;
+          workspaces = mkOption {
+            type = types.nullOr (types.listOf types.str);
             default = null;
           };
         };