1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-03-31 04:04:32 +00:00
This commit is contained in:
myu 2025-03-26 07:55:17 +01:00 committed by GitHub
commit 490e5be7a1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -216,6 +216,8 @@ in {
{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;
};
gtk4Css =
lib.optionalString (cfg.theme != null && cfg.theme.package != null) ''
gtk4Css = lib.optionalString
(cfg4.enableTheme && cfg.theme != null && cfg.theme.package != null) ''
/**
* 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.