superrob1500
/
mirror-ghostty
mirror of https://github.com/ghostty-org/ghostty
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

font: revert switch to non-mono symbols nerd font 

This change might be good, but it is incomplete and not relevant to the
PR that it's a part of. I'll explore making this change separately after
this, since it might be a good idea.

(It's incomplete since the attribute data was not re-generated based on
the non-mono file.)
pull/7953/head
Qwerasd 2025-07-24 17:52:41 -06:00
parent 2054a06533
commit c0ee4a252a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/build/SharedDeps.zig
View File

@ -531,7 +531,7 @@ pub fn add(
const nf_symbols = b.dependency("nerd_fonts_symbols_only", .{}); const nf_symbols = b.dependency("nerd_fonts_symbols_only", .{});
step.root_module.addAnonymousImport( step.root_module.addAnonymousImport(
"nerd_fonts_symbols_only", "nerd_fonts_symbols_only",
.{ .root_source_file = nf_symbols.path("SymbolsNerdFont-Regular.ttf") }, .{ .root_source_file = nf_symbols.path("SymbolsNerdFontMono-Regular.ttf") },
); );
} }