Skip mouse-face overlap check when mouse-face is hidden (Bug#30519)

* src/xdisp.c (note_mouse_highlight): Skip check whether
mouse-face highlighting overlay overlaps other mouse-face
overlays when mouse-face highlighting is hidden (Bug#30519).
This commit is contained in:
Martin Rudalics 2018-02-22 08:50:47 +01:00
parent a6d8f2ba02
commit 83187cd900

View file

@ -31357,10 +31357,12 @@ note_mouse_highlight (struct frame *f, int x, int y)
/* Check mouse-face highlighting. */
if (! same_region
/* If there exists an overlay with mouse-face overlapping
the one we are currently highlighting, we have to
check if we enter the overlapping overlay, and then
highlight only that. */
|| (OVERLAYP (hlinfo->mouse_face_overlay)
the one we are currently highlighting, we have to check
if we enter the overlapping overlay, and then highlight
only that. Skip the check when mouse-face highlighting
is currently hidden to avoid Bug#30519. */
|| (!hlinfo->mouse_face_hidden
&& OVERLAYP (hlinfo->mouse_face_overlay)
&& mouse_face_overlay_overlaps (hlinfo->mouse_face_overlay)))
{
/* Find the highest priority overlay with a mouse-face. */