From d60f809f1fc4490676a8a602b00fcba8caf05b93 Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Sun, 13 Oct 2024 17:15:36 +0200 Subject: [PATCH] Color: Add font option --- home/modules/color/options.nix | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/home/modules/color/options.nix b/home/modules/color/options.nix index a7ec9a33..22b65dec 100644 --- a/home/modules/color/options.nix +++ b/home/modules/color/options.nix @@ -40,6 +40,13 @@ in default = "catppuccin-mocha"; }; + font = mkOption { + type = types.str; + description = "The font to use"; + example = "JetBrainsMono Nerd Font Mono"; + default = "JetBrainsMono Nerd Font Mono"; + }; + keys = mkOption { type = types.listOf types.str; description = "The names of all possible colors";