1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-27 05:29:46 +01:00

gtk: use font.size option in dconf (#1920)

Allow usage of font.size for the GTK interface font in dconf.
This commit is contained in:
brwith 2021-04-10 11:15:14 +09:30 committed by GitHub
parent 56f5f41ed4
commit 17a10287d2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -138,8 +138,12 @@ in {
gtk-icon-theme-name = cfg.iconTheme.name; gtk-icon-theme-name = cfg.iconTheme.name;
}; };
dconfIni = optionalAttrs (cfg.font != null) { font-name = cfg.font.name; } dconfIni = optionalAttrs (cfg.font != null) {
// optionalAttrs (cfg.theme != null) { gtk-theme = cfg.theme.name; } font-name = let
fontSize =
optionalString (cfg.font.size != null) " ${toString cfg.font.size}";
in "${cfg.font.name}" + fontSize;
} // optionalAttrs (cfg.theme != null) { gtk-theme = cfg.theme.name; }
// optionalAttrs (cfg.iconTheme != null) { // optionalAttrs (cfg.iconTheme != null) {
icon-theme = cfg.iconTheme.name; icon-theme = cfg.iconTheme.name;
}; };