Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

gtk: explicitly set default font size

Browse source 
Fixes #5562
This commit is contained in:
Kira Bruneau 2024-06-21 11:23:28 -04:00
parent d7830d0542
commit c559542f0a
1 changed files with 6 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
modules/misc/gtk.nix
View file

@ -221,10 +221,9 @@ in {
config = mkIf cfg.enable (let config = mkIf cfg.enable (let
gtkIni = optionalAttrs (cfg.font != null) { gtkIni = optionalAttrs (cfg.font != null) {
gtk-font-name = let gtk-font-name =
fontSize = let fontSize = if cfg.font.size != null then cfg.font.size else 10;
optionalString (cfg.font.size != null) " ${toString cfg.font.size}"; in "${cfg.font.name} ${toString fontSize}";
in "${cfg.font.name}" + fontSize;
} // optionalAttrs (cfg.theme != null) { gtk-theme-name = cfg.theme.name; } } // optionalAttrs (cfg.theme != null) { gtk-theme-name = cfg.theme.name; }
// optionalAttrs (cfg.iconTheme != null) { // optionalAttrs (cfg.iconTheme != null) {
gtk-icon-theme-name = cfg.iconTheme.name; gtk-icon-theme-name = cfg.iconTheme.name;
@ -245,10 +244,9 @@ in {
'' + cfg4.extraCss; '' + cfg4.extraCss;
dconfIni = optionalAttrs (cfg.font != null) { dconfIni = optionalAttrs (cfg.font != null) {
font-name = let font-name =
fontSize = let fontSize = if cfg.font.size != null then cfg.font.size else 10;
optionalString (cfg.font.size != null) " ${toString cfg.font.size}"; in "${cfg.font.name} ${toString fontSize}";
in "${cfg.font.name}" + fontSize;
} // optionalAttrs (cfg.theme != null) { gtk-theme = cfg.theme.name; } } // 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;