1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-01 04:23:34 +02:00
This commit is contained in:
myu 2024-05-01 18:38:43 +05:45 committed by GitHub
commit 7d4893999d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -215,6 +215,8 @@ in {
{file}`$XDG_CONFIG_HOME/gtk-4.0/gtk.css`. {file}`$XDG_CONFIG_HOME/gtk-4.0/gtk.css`.
''; '';
}; };
enableTheme = mkEnableOption "Add gtkk theme to user CSS";
}; };
}; };
}; };
@ -235,8 +237,8 @@ in {
gtk-cursor-theme-size = cfg.cursorTheme.size; gtk-cursor-theme-size = cfg.cursorTheme.size;
}; };
gtk4Css = gtk4Css = lib.optionalString
lib.optionalString (cfg.theme != null && cfg.theme.package != null) '' (cfg4.enableTheme && cfg.theme != null && cfg.theme.package != null) ''
/** /**
* GTK 4 reads the theme configured by gtk-theme-name, but ignores it. * GTK 4 reads the theme configured by gtk-theme-name, but ignores it.
* It does however respect user CSS, so import the theme from here. * It does however respect user CSS, so import the theme from here.