Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

gnome-terminal: allow for 'system' theme variant

Browse source 
PR #1228

(cherry picked from commit 40b1c5c448)
This commit is contained in:
Andrew McDermott 2020-05-10 15:20:40 +01:00 committed by Robert Helgesson
parent 9fea5ac54f
commit cc69c3115f
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/programs/gnome-terminal.nix
View file

@ -186,7 +186,7 @@ in {
themeVariant = mkOption { themeVariant = mkOption {
default = "default"; default = "default";
type = types.enum [ "default" "light" "dark" ]; type = types.enum [ "default" "light" "dark" "system" ];
description = "The theme variation to request"; description = "The theme variation to request";
}; };