2022-06-19 16:03:11 -05:00
|
|
|
local wezterm = require('wezterm')
|
|
|
|
|
|
|
|
return {
|
2022-07-08 16:39:27 -05:00
|
|
|
-- use_cap_height_to_scale_fallback_fonts = true,
|
2022-06-20 01:40:52 -05:00
|
|
|
font = wezterm.font_with_fallback({
|
|
|
|
{
|
2022-07-08 16:39:27 -05:00
|
|
|
family = 'JetBrains Mono',
|
2022-06-20 01:40:52 -05:00
|
|
|
weight = 'DemiBold',
|
|
|
|
},
|
2022-07-08 16:39:27 -05:00
|
|
|
'Noto Sans Symbols2',
|
|
|
|
'PowerlineExtraSymbols',
|
2022-06-20 01:40:52 -05:00
|
|
|
|
|
|
|
-- <built-in>, BuiltIn
|
|
|
|
-- Assumed to have Emoji Presentation
|
|
|
|
-- Pixel sizes: [128]
|
|
|
|
'Noto Color Emoji',
|
|
|
|
|
|
|
|
-- <built-in>, BuiltIn
|
2022-07-08 16:43:36 -05:00
|
|
|
{ family = 'Symbols Nerd Font Mono', scale = 0.8 },
|
2022-06-20 01:40:52 -05:00
|
|
|
|
|
|
|
-- <built-in>, BuiltIn
|
|
|
|
'Last Resort High-Efficiency',
|
2022-06-19 16:03:11 -05:00
|
|
|
}),
|
2022-06-20 01:40:52 -05:00
|
|
|
font_size = 14,
|
2022-06-19 16:03:11 -05:00
|
|
|
}
|