Merge branch 'main' into lean

This commit is contained in:
qwjyh 2023-11-05 06:11:26 +09:00
commit 4c554abbb6

View file

@ -51,9 +51,13 @@ return {
-- font = wezterm.font 'FirgeNerd Console' -- font = wezterm.font 'FirgeNerd Console'
font = wezterm.font_with_fallback { font = wezterm.font_with_fallback {
{ {
family = 'JuliaMono', family = 'JuiseeHW Nerd Font',
weight = 'Bold',
harfbuzz_features = { harfbuzz_features = {
'calt=0', -- disables ligature 'calt=0', -- disables ligature
'zero=1',
'ss08=0',
'ss20=0',
}, },
}, },
{ family = 'FirgeNerd Console', assume_emoji_presentation = true }, -- for japanese { family = 'FirgeNerd Console', assume_emoji_presentation = true }, -- for japanese