Open pinpox opened 3 years ago
I would be thrilled if this would be possible. FWIW I find the most reasonable way to implement multiple fonts is to use CSS Unicode Character Ranges so users can map specific code points to specific fonts. This feature is what made me use Kitty terminal.
I don't know exactly how it's implemented, but wezterm
allows for multiple fonts with a configuration like this:
font = wezterm.font_with_fallback( {
{family="Recursive Mono Linear Static", weight="Medium"},
"Inconsolata Nerd Font Mono",
"Noto Color Emoji",
}),
You don't need to define specific ranges, it just takes the first font that happens to include the character. Just adding this as a thought, character ranges would probably more precise, but require a more complicated configuration.
It would be nice to be able to specify different fonts for
normal
,italic
,bold
andbold-italic
aswell as fallback fonts.In my current terminal e.g. I use a more "curly" font for italics:
Additionally, it would be great to be able to specify fallbacks. I use a non-patched font as default and have specified fallbacks for powerline symbols and for emojis
A configuration format like this or similar could work