nyancat/flake
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

home/gtk: fix font on gnome

Browse source
This commit is contained in:
Guanran Wang 2024-06-23 14:08:16 +08:00
parent c4a2d05bf4
commit 2e80ded63b
Signed by: nyancat
GPG key ID: 91F97D9ED12639CF
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
nixos/profiles/common/graphical/home/fonts/default.nix
View file

@ -26,12 +26,12 @@
# Make GTK listen to fontconfig # Make GTK listen to fontconfig
dconf.settings = { dconf.settings = {
"org/gnome/desktop/wm/preferences" = { "org/gnome/desktop/wm/preferences" = {
"titlebar-font" = "Sans Bold"; "titlebar-font" = "Sans Bold 11";
}; };
"org/gnome/desktop/interface" = { "org/gnome/desktop/interface" = {
"font-name" = "Sans"; "font-name" = "Sans 11";
"document-font-name" = "Sans"; "document-font-name" = "Sans 11";
"monospace-font-name" = "Monospace"; "monospace-font-name" = "Monospace 10";
}; };
}; };