Fix wrong font name for Fira Mono
This commit is contained in:
parent
27795cfc9c
commit
c89028bdd7
|
@ -124,7 +124,7 @@
|
||||||
package = pkgs.noto-fonts-emoji;
|
package = pkgs.noto-fonts-emoji;
|
||||||
};
|
};
|
||||||
monospace = {
|
monospace = {
|
||||||
name = "Fira Sans Mono";
|
name = "Fira Mono";
|
||||||
package = pkgs.fira-mono;
|
package = pkgs.fira-mono;
|
||||||
};
|
};
|
||||||
sansSerif = {
|
sansSerif = {
|
||||||
|
|
|
@ -15,7 +15,7 @@
|
||||||
opacity = 0.8;
|
opacity = 0.8;
|
||||||
};
|
};
|
||||||
font = {
|
font = {
|
||||||
normal.family = "Fira Sans Mono";
|
normal.family = "Fira Mono";
|
||||||
size = 14.0;
|
size = 14.0;
|
||||||
};
|
};
|
||||||
selection.save_to_clipboard = true;
|
selection.save_to_clipboard = true;
|
||||||
|
|
|
@ -13,7 +13,7 @@
|
||||||
indicate_hidden = "yes";
|
indicate_hidden = "yes";
|
||||||
transparency = 16;
|
transparency = 16;
|
||||||
separator_color = "frame";
|
separator_color = "frame";
|
||||||
font = "Fira Sans Mono 10";
|
font = "Fira Mono 10";
|
||||||
ellipsize = "end";
|
ellipsize = "end";
|
||||||
ignore_newline = "no";
|
ignore_newline = "no";
|
||||||
stack_duplicates = true;
|
stack_duplicates = true;
|
||||||
|
|
|
@ -10,7 +10,7 @@
|
||||||
grey: #6e738d;
|
grey: #6e738d;
|
||||||
|
|
||||||
width: 75%;
|
width: 75%;
|
||||||
font: "Fira Sans Mono 18";
|
font: "Fira Mono 18";
|
||||||
}
|
}
|
||||||
|
|
||||||
element-text, element-icon , mode-switcher {
|
element-text, element-icon , mode-switcher {
|
||||||
|
|
Loading…
Reference in a new issue