projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 531c74e) | patch
Check if mouse_face_overlay was deleted (Bug#35273)
authorNoam Postavsky <npostavs@gmail.com>
Sat, 27 Apr 2019 19:22:11 +0000 (15:22 -0400)
committerNoam Postavsky <npostavs@gmail.com>
Sun, 28 Apr 2019 12:31:17 +0000 (08:31 -0400)
commit7cb5364ef5334de0fb1bc2e470bea450e4567d24
treeb80143bfe8664d0cce096e2f05bb66c6d83cc2c7tree | snapshot
parent531c74e2493cf54dc76238930bb93c6d7112ed3bcommit | diff
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.
src/xdisp.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.