1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-12-24 10:49:48 +01:00

gnome-terminal: add support for light/dark theme variants

This commit is contained in:
Robert Prije 2019-02-24 15:53:46 +11:00 committed by Robert Helgesson
parent 52fdf5b7ec
commit 0fa19ed555
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -141,6 +141,12 @@ in
description = "Whether to show the menubar by default";
};
themeVariant = mkOption {
default = "default";
type = types.enum [ "default" "light" "dark" ];
description = "The theme variation to request";
};
profile = mkOption {
default = {};
type = types.attrsOf profileSubModule;
@ -159,6 +165,7 @@ in
{
"${dconfPath}" = {
default-show-menubar = cfg.showMenubar;
theme-variant = cfg.themeVariant;
schema-version = 3;
};