Differentiate font name and size
This commit is contained in:
parent
8253875008
commit
a71ce8b2ef
1 changed files with 2 additions and 1 deletions
|
@ -20,7 +20,8 @@
|
||||||
enable = true;
|
enable = true;
|
||||||
font = {
|
font = {
|
||||||
package = pkgs.noto-fonts;
|
package = pkgs.noto-fonts;
|
||||||
name = "Noto Sans 10";
|
name = "Noto Sans";
|
||||||
|
size = 10;
|
||||||
};
|
};
|
||||||
gtk2.extraConfig = ''
|
gtk2.extraConfig = ''
|
||||||
gtk-cursor-theme-name = "Vanilla-DMZ"
|
gtk-cursor-theme-name = "Vanilla-DMZ"
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue