From 64edd55add0bf937b90e207ce0da8bb8d7e10df4 Mon Sep 17 00:00:00 2001 From: o9000 Date: Sun, 28 May 2017 14:46:50 +0200 Subject: [PATCH] Task: take into account border width when computing text height --- src/taskbar/taskbar.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/taskbar/taskbar.c b/src/taskbar/taskbar.c index fc91559..593cdb5 100644 --- a/src/taskbar/taskbar.c +++ b/src/taskbar/taskbar.c @@ -288,7 +288,8 @@ void init_taskbar_panel(void *p) FALSE); panel->g_task.text_posx = left_bg_border_width(panel->g_task.background[0]) + panel->g_task.area.paddingxlr; - panel->g_task.text_height = panel->g_task.area.height - (2 * panel->g_task.area.paddingy); + panel->g_task.text_height = + panel->g_task.area.height - (2 * panel->g_task.area.paddingy) - top_bottom_border_width(&panel->g_task.area); if (panel->g_task.has_icon) { panel->g_task.icon_size1 = MIN(MIN(panel->g_task.maximum_width, panel->g_task.maximum_height), MIN(panel->g_task.area.width, panel->g_task.area.height)) -