wezterm: fancy padding

This commit is contained in:
Daniel Lundin 2022-12-03 14:42:03 +01:00
parent b9b901adfe
commit 03af0e64a0

View file

@ -1,4 +1,4 @@
local wezterm = require 'wezterm'; local wezterm = require("wezterm")
function font_with_fallback(name, params) function font_with_fallback(name, params)
local names = { name, "Noto Color Emoji", "Iosevka Nerd Font Mono" } local names = { name, "Noto Color Emoji", "Iosevka Nerd Font Mono" }
@ -16,61 +16,61 @@ local theme = {
selection_bg = "#FFCA28", selection_bg = "#FFCA28",
ansi = { "#212121", "#b7141e", "#457b23", "#f5971d", "#134eb2", "#550087", "#0e707c", "#eeeeee" }, ansi = { "#212121", "#b7141e", "#457b23", "#f5971d", "#134eb2", "#550087", "#0e707c", "#eeeeee" },
brights = { "#424242", "#e83a3f", "#7aba39", "#fee92e", "#53a4f3", "#a94dbb", "#26bad1", "#d8d8d8" }, brights = { "#424242", "#e83a3f", "#7aba39", "#fee92e", "#53a4f3", "#a94dbb", "#26bad1", "#d8d8d8" },
},
} }
};
return { return {
colors = theme.colors, colors = theme.colors,
window_frame = { window_frame = {
border_left_width = '4px', border_left_width = "2px",
border_right_width = '4px', border_right_width = "2px",
border_bottom_height = '4px', border_bottom_height = "2px",
border_top_height = '4px', border_top_height = "2px",
border_left_color = '#000000', border_left_color = "#666666",
border_right_color = '#000000', border_right_color = "#666666",
border_bottom_color = '#000000', border_bottom_color = "#666666",
border_top_color = '#000000', border_top_color = "#666666",
}, },
font = font_with_fallback("Iosevka Term SS09", { weight = "Regular" }), font = font_with_fallback("Iosevka Term SS09", { weight = "Regular" }),
font_rules = { font_rules = {
{ {
italic = false, italic = false,
intensity = "Half", intensity = "Half",
font = font_with_fallback("Iosevka Term SS09", { weight = "Thin" }) font = font_with_fallback("Iosevka Term SS09", { weight = "Thin" }),
}, },
{ {
italic = true, italic = true,
intensity = "Normal", intensity = "Normal",
font = font_with_fallback("Iosevka Term Curly Slab", { weight = "Light", italic = true }) font = font_with_fallback("Iosevka Term Curly Slab", { weight = "Light", italic = true }),
}, },
{ {
italic = true, italic = true,
intensity = "Bold", intensity = "Bold",
font = font_with_fallback("Iosevka SS15", { weight = "ExtraLight", italic = true }) font = font_with_fallback("Iosevka SS15", { weight = "ExtraLight", italic = true }),
}, },
{ {
intensity = "Bold", intensity = "Bold",
font = font_with_fallback("Iosevka Term SS09", { weight = "DemiBold" }) font = font_with_fallback("Iosevka Term SS09", { weight = "DemiBold" }),
}, },
}, },
freetype_load_target = "Light", freetype_load_target = "Light",
warn_about_missing_glyphs = false, warn_about_missing_glyphs = false,
bold_brightens_ansi_colors = false, bold_brightens_ansi_colors = false,
font_size = 10.5, font_size = 10.5,
line_height = 1.1, line_height = 1.1,
initial_cols = 128, initial_cols = 128,
initial_rows = 45, initial_rows = 45,
use_resize_increments = true,
window_padding = { window_padding = {
left = 0, left = "0.75cell",
right = 0, right = "0.5cell",
top = 0, top = "0.5cell",
bottom = 0, bottom = "0cell",
}, },
default_cursor_style = 'SteadyBlock', default_cursor_style = "SteadyBlock",
cursor_thickness = "3px", cursor_thickness = "3px",
cursor_blink_rate = 0, cursor_blink_rate = 0,
@ -89,7 +89,7 @@ return {
disable_default_key_bindings = true, disable_default_key_bindings = true,
keys = { keys = {
{ key = "c", mods = "ALT|SHIFT", action = wezterm.action { CopyTo = "ClipboardAndPrimarySelection" } }, { key = "c", mods = "ALT|SHIFT", action = wezterm.action({ CopyTo = "ClipboardAndPrimarySelection" }) },
{ key = "v", mods = "ALT|SHIFT", action = "Paste" }, { key = "v", mods = "ALT|SHIFT", action = "Paste" },
{ key = "0", mods = "CTRL", action = "ResetFontSize" }, { key = "0", mods = "CTRL", action = "ResetFontSize" },
{ key = "-", mods = "CTRL", action = "DecreaseFontSize" }, { key = "-", mods = "CTRL", action = "DecreaseFontSize" },