diff options
| author | Alan Third <alan@idiocy.org> | 2021-09-08 17:57:50 +0100 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2021-09-11 15:09:59 +0300 |
| commit | e40f5a91eed69b5d6131671ba1699ce3ccb92f16 (patch) | |
| tree | e1d9656f03bc02da6f8077a031168d0a409d12db /src | |
| parent | aa6cacd7138519aa8906c850950020d0546ae355 (diff) | |
| download | emacs-e40f5a91eed69b5d6131671ba1699ce3ccb92f16.tar.gz emacs-e40f5a91eed69b5d6131671ba1699ce3ccb92f16.tar.bz2 emacs-e40f5a91eed69b5d6131671ba1699ce3ccb92f16.zip | |
Fix display of tab-bar buttons
* src/xterm.c (x_draw_image_relief):
* src/w32term.c (w32_draw_image_relief): Fix the display of
tab-bar buttons when mouse pointer moves off the button.
(Bug#50424)
Diffstat (limited to 'src')
| -rw-r--r-- | src/w32term.c | 6 | ||||
| -rw-r--r-- | src/xterm.c | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/src/w32term.c b/src/w32term.c index 9ee3b1ed1f2..3eb078a66d8 100644 --- a/src/w32term.c +++ b/src/w32term.c @@ -2057,11 +2057,11 @@ w32_draw_image_relief (struct glyph_string *s) && FIXNUMP (XCAR (Vtab_bar_button_margin)) && FIXNUMP (XCDR (Vtab_bar_button_margin))) { - extra_x = XFIXNUM (XCAR (Vtab_bar_button_margin)); - extra_y = XFIXNUM (XCDR (Vtab_bar_button_margin)); + extra_x = XFIXNUM (XCAR (Vtab_bar_button_margin)) - thick; + extra_y = XFIXNUM (XCDR (Vtab_bar_button_margin)) - thick; } else if (FIXNUMP (Vtab_bar_button_margin)) - extra_x = extra_y = XFIXNUM (Vtab_bar_button_margin); + extra_x = extra_y = XFIXNUM (Vtab_bar_button_margin) - thick; } if (s->face->id == TOOL_BAR_FACE_ID) diff --git a/src/xterm.c b/src/xterm.c index 4c1754ac80c..2c56c73068d 100644 --- a/src/xterm.c +++ b/src/xterm.c @@ -3235,11 +3235,11 @@ x_draw_image_relief (struct glyph_string *s) && FIXNUMP (XCAR (Vtab_bar_button_margin)) && FIXNUMP (XCDR (Vtab_bar_button_margin))) { - extra_x = XFIXNUM (XCAR (Vtab_bar_button_margin)); - extra_y = XFIXNUM (XCDR (Vtab_bar_button_margin)); + extra_x = XFIXNUM (XCAR (Vtab_bar_button_margin)) - thick; + extra_y = XFIXNUM (XCDR (Vtab_bar_button_margin)) - thick; } else if (FIXNUMP (Vtab_bar_button_margin)) - extra_x = extra_y = XFIXNUM (Vtab_bar_button_margin); + extra_x = extra_y = XFIXNUM (Vtab_bar_button_margin) - thick; } if (s->face->id == TOOL_BAR_FACE_ID) |