[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master e40f5a9: Fix display of tab-bar buttons
From: |
Eli Zaretskii |
Subject: |
master e40f5a9: Fix display of tab-bar buttons |
Date: |
Sat, 11 Sep 2021 08:10:53 -0400 (EDT) |
branch: master
commit e40f5a91eed69b5d6131671ba1699ce3ccb92f16
Author: Alan Third <alan@idiocy.org>
Commit: Eli Zaretskii <eliz@gnu.org>
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)
---
src/w32term.c | 6 +++---
src/xterm.c | 6 +++---
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/w32term.c b/src/w32term.c
index 9ee3b1e..3eb078a 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 4c1754a..2c56c73 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)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- master e40f5a9: Fix display of tab-bar buttons,
Eli Zaretskii <=