2022-07-08 21:07:14 -05:00
|
|
|
local wezterm = require("wezterm")
|
2022-07-09 14:05:36 -05:00
|
|
|
local lib = require("wlib")
|
2022-06-19 16:03:11 -05:00
|
|
|
|
|
|
|
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 21:07:14 -05:00
|
|
|
family = "JetBrains Mono",
|
|
|
|
weight = "DemiBold",
|
2022-06-20 01:40:52 -05:00
|
|
|
},
|
2022-07-08 17:44:59 -05:00
|
|
|
-- NOTE: Attempt to resolve missing symbols etc.
|
|
|
|
-- <built-in>, BuiltIn
|
2022-07-08 21:07:14 -05:00
|
|
|
{ family = "Symbols Nerd Font Mono", scale = 0.8 },
|
|
|
|
"Noto Sans Symbols2",
|
|
|
|
"PowerlineExtraSymbols",
|
|
|
|
{ family = "FiraCode NF", weight = "DemiBold", scale = 1.2 },
|
2022-07-09 12:58:05 -05:00
|
|
|
"MesloLGS NF",
|
2022-06-20 01:40:52 -05:00
|
|
|
|
|
|
|
-- <built-in>, BuiltIn
|
|
|
|
-- Assumed to have Emoji Presentation
|
|
|
|
-- Pixel sizes: [128]
|
2022-07-08 21:07:14 -05:00
|
|
|
"Noto Color Emoji",
|
2022-06-20 01:40:52 -05:00
|
|
|
|
|
|
|
-- <built-in>, BuiltIn
|
2022-07-08 21:07:14 -05:00
|
|
|
"Last Resort High-Efficiency",
|
2022-06-19 16:03:11 -05:00
|
|
|
}),
|
2022-07-09 14:05:36 -05:00
|
|
|
font_dirs = {
|
2022-07-11 14:47:29 -05:00
|
|
|
"fonts",
|
2022-07-09 14:05:36 -05:00
|
|
|
},
|
|
|
|
font_locator = "ConfigDirsOnly",
|
2022-06-20 01:40:52 -05:00
|
|
|
font_size = 14,
|
2022-06-19 16:03:11 -05:00
|
|
|
}
|