diff options
author | Andrew McDermott <aim@frobware.com> | 2020-05-10 15:20:40 +0100 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2020-05-13 00:30:09 +0200 |
commit | 40b1c5c448a7d71f723ec2d686efa86a679c5fdb (patch) | |
tree | e31d5eb530d166b799d872c1d5aa21d01a0ebc11 /modules/programs/gnome-terminal.nix | |
parent | e9945ee6eefee0e261fe4d5b3a7c5de4f0f8d91b (diff) |
gnome-terminal: allow for 'system' theme variant
PR #1228
Diffstat (limited to 'modules/programs/gnome-terminal.nix')
-rw-r--r-- | modules/programs/gnome-terminal.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/programs/gnome-terminal.nix b/modules/programs/gnome-terminal.nix index 3c053ed58bb..d6aec9944d0 100644 --- a/modules/programs/gnome-terminal.nix +++ b/modules/programs/gnome-terminal.nix @@ -186,7 +186,7 @@ in { themeVariant = mkOption { default = "default"; - type = types.enum [ "default" "light" "dark" ]; + type = types.enum [ "default" "light" "dark" "system" ]; description = "The theme variation to request"; }; |