]> git.eshelyaron.com Git - emacs.git/commit
Don't draw GTK's internal border and tab bar on top of each other
authorMartin Rudalics <rudalics@gmx.at>
Fri, 3 Apr 2020 08:31:35 +0000 (10:31 +0200)
committerMartin Rudalics <rudalics@gmx.at>
Fri, 3 Apr 2020 08:31:35 +0000 (10:31 +0200)
commitd4f51d0a2ef0dbba7a798cd7b8b0a791f723bda5
tree4bf5bf9116e7aca1744937b2bb303d5f6b93f312
parent38731d504eb4675ff1c8a82f96cb90beced941d3
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