Add ags workspaces

Signed-off-by: Nikolaos Karaolidis <nick@karaolidis.com>
2024-07-01 22:59:36 +03:00
parent e5bac20f7d
commit 30d56ebf00
16 changed files with 66 additions and 6 deletions
--- a/users/common/options/home-manager/theme/default.nix
+++ b/users/common/options/home-manager/theme/default.nix
@@ -328,6 +328,14 @@ in
      };
    };

+    font = {
+      size = mkOption {
+        type = ints.positive;
+        default = 12;
+        description = "The font size.";
+      };
+    };
+
    cursor = {
      package = mkOption {
        type = package;