mirror of
https://github.com/nix-community/home-manager
synced 2024-11-26 21:19:45 +01:00
gtk: GTK4 theming should be opt-in
This commit is contained in:
parent
30f2ec3951
commit
ed6c662ed0
1 changed files with 3 additions and 1 deletions
|
@ -215,6 +215,8 @@ in {
|
|||
{file}`$XDG_CONFIG_HOME/gtk-4.0/gtk.css`.
|
||||
'';
|
||||
};
|
||||
|
||||
enableTheme = mkEnableOption "Add gtkk theme to user CSS";
|
||||
};
|
||||
};
|
||||
};
|
||||
|
@ -236,7 +238,7 @@ in {
|
|||
};
|
||||
|
||||
gtk4Css =
|
||||
lib.optionalString (cfg.theme != null && cfg.theme.package != null) ''
|
||||
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.
|
||||
|
|
Loading…
Reference in a new issue