1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-27 05:29:46 +01:00

gnome-terminal: allow for 'system' theme variant

PR #1228
This commit is contained in:
Andrew McDermott 2020-05-10 15:20:40 +01:00 committed by Robert Helgesson
parent e9945ee6ee
commit 40b1c5c448
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -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";
};