From ae605bdd394bdf83a8015ac626b222fd40e35b04 Mon Sep 17 00:00:00 2001 From: Michael Stapelberg Date: Wed, 19 Dec 2012 21:12:38 +0100 Subject: [PATCH] Also draw right tab border for split containers (Thanks alex) fixes #696 --- src/x.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/x.c b/src/x.c index 78c6de33..8f0ae37d 100644 --- a/src/x.c +++ b/src/x.c @@ -505,7 +505,7 @@ void x_draw_decoration(Con *con) { con->deco_rect.width - 2); free(title); - goto copy_pixmaps; + goto after_title; } if (win->name == NULL) @@ -533,6 +533,7 @@ void x_draw_decoration(Con *con) { con->deco_rect.x + 2 + indent_px, con->deco_rect.y + text_offset_y, con->deco_rect.width - 2 - indent_px); +after_title: /* Since we don’t clip the text at all, it might in some cases be painted * on the border pixels on the right side of a window. Therefore, we draw * the right border again after rendering the text (and the unconnected