From: Ruben Beltran del Rio <redacted>
Date: Wed, 18 Dec 2024 08:03:48 +0000 (+0100)
Subject: Make kitty tabs pilly
X-Git-Url: https://git.r.bdr.sh/rbdr/dotfiles/commitdiff_plain/76e13011a3527bab0eb3b88920973a00e3527223?hp=2a122cd917c3c3a043304981d3a0cf93439b918f

Make kitty tabs pilly
---

diff --git a/config/kitty/kitty.conf b/config/kitty/kitty.conf
index 5bc1968..b696cdb 100644
--- a/config/kitty/kitty.conf
+++ b/config/kitty/kitty.conf
@@ -135,9 +135,9 @@ color15 #ffffff
 # window
 hide_window_decorations titlebar-only
 window_margin_width 10 5 5
-tab_bar_style separator
-tab_separator " ⁣ "
+tab_bar_style custom
 tab_bar_margin_width 5.0
+tab_bar_margin_height 5.0 0.0
 
 enabled_layouts splits,tall,fat,grid,stack
 
diff --git a/config/kitty/tab_bar.py b/config/kitty/tab_bar.py
new file mode 100644
index 0000000..c88e483
--- /dev/null
+++ b/config/kitty/tab_bar.py
@@ -0,0 +1,31 @@
+from kitty.fast_data_types import Screen
+from kitty.tab_bar import DrawData, ExtraData, TabBarData, draw_title
+
+def draw_tab(
+    draw_data: DrawData, screen: Screen, tab: TabBarData,
+    before: int, max_tab_length: int, index: int, is_last: bool,
+    extra_data: ExtraData
+) -> int:
+    transparent = 0
+    orig_bg = screen.cursor.bg
+    orig_fg = screen.cursor.fg
+    screen.cursor.bg = 0
+    screen.cursor.fg = orig_bg
+    screen.draw('◖')
+    screen.cursor.bg = orig_bg
+    screen.cursor.fg = orig_fg
+    draw_title(draw_data, screen, tab, index, max_tab_length)
+    trailing_spaces = min(max_tab_length - 1, draw_data.trailing_spaces)
+    max_tab_length -= trailing_spaces
+    extra = screen.cursor.x - before - max_tab_length
+    if extra > 0:
+        screen.cursor.x -= extra + 1
+        screen.draw('…')
+    screen.cursor.bg = 0
+    screen.cursor.fg = orig_bg
+    screen.draw('◗ ')
+    end = screen.cursor.x
+    screen.cursor.bold = screen.cursor.italic = False
+    screen.cursor.fg = 0
+    screen.cursor.bg = 0
+    return end