From d4f51d0a2ef0dbba7a798cd7b8b0a791f723bda5 Mon Sep 17 00:00:00 2001 From: Martin Rudalics Date: Fri, 3 Apr 2020 10:31:35 +0200 Subject: [PATCH] Don't draw GTK's internal border and tab bar on top of each other * src/xterm.c (x_clear_under_internal_border): For GTK builds have 'margin' count in the height of the tab bar to avoid that tab bar and internal border are drawn on top of each other. --- src/xterm.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/xterm.c b/src/xterm.c index 2ba3c009402..bda976fcbbd 100644 --- a/src/xterm.c +++ b/src/xterm.c @@ -1291,11 +1291,7 @@ x_clear_under_internal_border (struct frame *f) int border = FRAME_INTERNAL_BORDER_WIDTH (f); int width = FRAME_PIXEL_WIDTH (f); int height = FRAME_PIXEL_HEIGHT (f); -#ifdef USE_GTK - int margin = 0; -#else int margin = FRAME_TOP_MARGIN_HEIGHT (f); -#endif int face_id = !NILP (Vface_remapping_alist) ? lookup_basic_face (NULL, f, INTERNAL_BORDER_FACE_ID) -- 2.39.5