diff options
| author | Martin Rudalics | 2020-04-03 10:31:35 +0200 |
|---|---|---|
| committer | Martin Rudalics | 2020-04-03 10:31:35 +0200 |
| commit | d4f51d0a2ef0dbba7a798cd7b8b0a791f723bda5 (patch) | |
| tree | 4bf5bf9116e7aca1744937b2bb303d5f6b93f312 /src/dmpstruct.awk | |
| parent | 38731d504eb4675ff1c8a82f96cb90beced941d3 (diff) | |
| download | emacs-d4f51d0a2ef0dbba7a798cd7b8b0a791f723bda5.tar.gz emacs-d4f51d0a2ef0dbba7a798cd7b8b0a791f723bda5.zip | |
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.
Diffstat (limited to 'src/dmpstruct.awk')
0 files changed, 0 insertions, 0 deletions