chore(wezterm): split custom fonts config

main
sudo pacman -Syu 2023-12-21 01:24:45 +07:00
parent f37b890e27
commit d1247f08d3
1 changed files with 34 additions and 3 deletions

View File

@ -1,12 +1,43 @@
local wezterm = require("wezterm") local wezterm = require("wezterm")
local act = wezterm.action local act = wezterm.action
return { -- Custom fonts config
local flexi_ibm = {
font = wezterm.font({ font = wezterm.font({
family = "Iosevka Term SS08", family = "Flexi IBM VGA False",
}), }),
font_size = 16.0, font_rules = {
{
intensity = "Bold",
italic = true,
font = wezterm.font({
family = "Flexi IBM VGA False",
}),
},
{
intensity = "Bold",
italic = false,
font = wezterm.font({
family = "Flexi IBM VGA False",
}),
},
{
intensity = "Normal",
italic = true,
font = wezterm.font({
family = "Flexi IBM VGA False",
}),
},
},
font_size = 18.0,
line_height = 1.2, line_height = 1.2,
}
return {
font = flexi_ibm.font,
font_rules = flexi_ibm.font_rules,
font_size = flexi_ibm.font_size,
line_height = flexi_ibm.line_height,
use_cap_height_to_scale_fallback_fonts = true, use_cap_height_to_scale_fallback_fonts = true,
color_scheme = "Catppuccin Mocha", color_scheme = "Catppuccin Mocha",