From 359f6aaa53e839522a051546ace28ca33e0a4d72 Mon Sep 17 00:00:00 2001 From: Mat Jones Date: Wed, 31 Jul 2024 12:31:17 -0400 Subject: [PATCH] fix(wezterm): Convert padding amount to int --- home-manager/modules/wezterm.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home-manager/modules/wezterm.nix b/home-manager/modules/wezterm.nix index 1da50432..1450bc89 100644 --- a/home-manager/modules/wezterm.nix +++ b/home-manager/modules/wezterm.nix @@ -72,7 +72,7 @@ in { for _, tab in ipairs(mux_win:tabs()) do tabs_total_width = tabs_total_width + #format_tab_title(tab, 0, tab_max_width, true) + 6 end - window:set_left_status(string.rep(' ', (total_width / 2) - (tabs_total_width / 2))) + window:set_left_status(string.rep(' ', math.floor((total_width / 2) - (tabs_total_width / 2)))) end) wezterm.on('format-tab-title', function(tab, tabs) local i = tab.tab_index