| commit | d546be31a9320d94769cb322f008f49d08d852a8 | |
| author | Eli Zaretskii <eliz@gnu.org> | |
| Thu, 2 Mar 2017 15:46:25 +0000 (2 17:46 +0200) | ||
| committer | Eli Zaretskii <eliz@gnu.org> | |
| Thu, 2 Mar 2017 15:46:25 +0000 (2 17:46 +0200) | ||
| tree | b51d96fe8a81f90e82530a43ad8db959cf671ff1 | treesnapshot (tar.gz zip) |
| parent | 511a3c3ba27352fde26ae2371a9d4a64c6418122 | commitdiff |
Fix display of mouse-highlight produced by overlapping overlays
* src/xfaces.c (face_at_buffer_position): If called to find the
mouse-face, only consider the highest-priority source for that
face, and ignore the rest. Previously, all the mouse-face
definitions at POS were merged in that case.
* src/xdisp.c (note_mouse_highlight): Record the overlay that
specifies mouse-face _after_ clearing the info about the previous
overlay, so as not to clear the information about the just-recorded
overlay. (Bug#25906)
* src/xfaces.c (face_at_buffer_position): If called to find the
mouse-face, only consider the highest-priority source for that
face, and ignore the rest. Previously, all the mouse-face
definitions at POS were merged in that case.
* src/xdisp.c (note_mouse_highlight): Record the overlay that
specifies mouse-face _after_ clearing the info about the previous
overlay, so as not to clear the information about the just-recorded
overlay. (Bug#25906)
| src/xdisp.c | diffblobblamehistory | |
| src/xfaces.c | diffblobblamehistory |