From 8cf4840195d72275c1d16d7f2ab38de0110cf3ba Mon Sep 17 00:00:00 2001 From: datsudo <76833632+datsudo@users.noreply.github.com> Date: Mon, 2 Jun 2025 14:25:12 +0800 Subject: [PATCH] font-related changes - change zed font - add symbols nerd font fallback --- system/fontconfig.nix | 2 +- user/subs/zed.nix | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/system/fontconfig.nix b/system/fontconfig.nix index 458fd8c..1ce51af 100644 --- a/system/fontconfig.nix +++ b/system/fontconfig.nix @@ -9,7 +9,7 @@ defaultFonts = { serif = [ "Liberation Serif" ]; sansSerif = [ "Inter" "SF Pro Display" ]; - monospace = [ "Iosevka Nerd Font" ]; + monospace = [ "Iosevka Nerd Font" "Symbols Nerd Font" ]; }; }; } diff --git a/user/subs/zed.nix b/user/subs/zed.nix index 6578548..da39fa8 100644 --- a/user/subs/zed.nix +++ b/user/subs/zed.nix @@ -71,7 +71,7 @@ in buffer_font_family = "Iosevka Nerd Font"; buffer_font_fallbacks = [ "Symbols Nerd Font" "Noto Color Emoji" ]; buffer_font_weight = 500; - buffer_font_size = 18; + buffer_font_size = 19; buffer_line_height.custom = 1.3; terminal = { font_family = "Iosevka Nerd Font";