mirror of
git://git.sv.gnu.org/emacs.git
synced 2025-12-19 12:20:17 -08:00
Check if mouse_face_overlay was deleted (Bug#35273)
* src/xdisp.c (note_mouse_highlight): Check if the mouse_face_overlay actually points to a buffer, before calling mouse_face_overlay_overlaps on it.
This commit is contained in:
parent
531c74e249
commit
7cb5364ef5
1 changed files with 3 additions and 1 deletions
|
|
@ -31526,6 +31526,8 @@ note_mouse_highlight (struct frame *f, int x, int y)
|
||||||
is currently hidden to avoid Bug#30519. */
|
is currently hidden to avoid Bug#30519. */
|
||||||
|| (!hlinfo->mouse_face_hidden
|
|| (!hlinfo->mouse_face_hidden
|
||||||
&& OVERLAYP (hlinfo->mouse_face_overlay)
|
&& OVERLAYP (hlinfo->mouse_face_overlay)
|
||||||
|
/* It's possible the overlay was deleted (Bug#35273). */
|
||||||
|
&& XMARKER (OVERLAY_START (hlinfo->mouse_face_overlay))->buffer
|
||||||
&& mouse_face_overlay_overlaps (hlinfo->mouse_face_overlay)))
|
&& mouse_face_overlay_overlaps (hlinfo->mouse_face_overlay)))
|
||||||
{
|
{
|
||||||
/* Find the highest priority overlay with a mouse-face. */
|
/* Find the highest priority overlay with a mouse-face. */
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue