font-related changes
- change zed font - add symbols nerd font fallback
This commit is contained in:
parent
6d057f4eef
commit
8cf4840195
@ -9,7 +9,7 @@
|
|||||||
defaultFonts = {
|
defaultFonts = {
|
||||||
serif = [ "Liberation Serif" ];
|
serif = [ "Liberation Serif" ];
|
||||||
sansSerif = [ "Inter" "SF Pro Display" ];
|
sansSerif = [ "Inter" "SF Pro Display" ];
|
||||||
monospace = [ "Iosevka Nerd Font" ];
|
monospace = [ "Iosevka Nerd Font" "Symbols Nerd Font" ];
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
@ -71,7 +71,7 @@ in
|
|||||||
buffer_font_family = "Iosevka Nerd Font";
|
buffer_font_family = "Iosevka Nerd Font";
|
||||||
buffer_font_fallbacks = [ "Symbols Nerd Font" "Noto Color Emoji" ];
|
buffer_font_fallbacks = [ "Symbols Nerd Font" "Noto Color Emoji" ];
|
||||||
buffer_font_weight = 500;
|
buffer_font_weight = 500;
|
||||||
buffer_font_size = 18;
|
buffer_font_size = 19;
|
||||||
buffer_line_height.custom = 1.3;
|
buffer_line_height.custom = 1.3;
|
||||||
terminal = {
|
terminal = {
|
||||||
font_family = "Iosevka Nerd Font";
|
font_family = "Iosevka Nerd Font";
|
||||||
|
Loading…
x
Reference in New Issue
Block a user