diff options
| author | Martin Rudalics <rudalics@gmx.at> | 2020-04-03 10:31:35 +0200 |
|---|---|---|
| committer | Martin Rudalics <rudalics@gmx.at> | 2020-04-03 10:31:35 +0200 |
| commit | d4f51d0a2ef0dbba7a798cd7b8b0a791f723bda5 (patch) | |
| tree | 4bf5bf9116e7aca1744937b2bb303d5f6b93f312 | |
| parent | 38731d504eb4675ff1c8a82f96cb90beced941d3 (diff) | |
| download | emacs-d4f51d0a2ef0dbba7a798cd7b8b0a791f723bda5.tar.gz | |
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.
| -rw-r--r-- | src/xterm.c | 4 |
1 files changed, 0 insertions, 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) |