mirrors/ghostty
1
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-10-09 11:26:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

font: use non-mono symbols nerd font for embedded symbols

Browse Source 
I changed my mind, this is a pretty small change and relevant to the
intent of the PR. This brings the appearance of the embedded symbols
much closer to patched fonts.

With this, the sizes of most symbols are nearly identical to a patched
font, the only big difference is positioning (and TBH I think we do a
better job positioning than the patcher does, since we have knowledge
about the cell size).
This commit is contained in:
Qwerasd
2025-07-25 12:41:00 -06:00
parent 6af6357949
commit 92fa2228e9
3 changed files with 192 additions and 200 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/font/nerd_font_codegen.py
View File

@@ -9,7 +9,7 @@ be safe and not malicious or anything.
This script requires Python 3.12 or greater, requires that the `fontTools`
python module is installed, and requires that the path to a copy of the
SymbolsNerdFontMono font is passed as the first argument to the script.
SymbolsNerdFont (not Mono!) font is passed as the first argument to it.
"""
import ast