| commit | 074a88832e7dde5502e1b5ea4a23d78c3c65864b | |
| author | Gerd Moellmann <gerd@gnu.org> | |
| Tue, 6 Mar 2001 15:30:15 +0000 (6 15:30 +0000) | ||
| committer | Gerd Moellmann <gerd@gnu.org> | |
| Tue, 6 Mar 2001 15:30:15 +0000 (6 15:30 +0000) | ||
| tree | 00f10f2c129c3c1d30979765c17481ed573b50cd | treesnapshot (tar.gz zip) |
| parent | 4fe81daefdf57e20c6fedf0d35062ed0c22c9e73 | commitdiff |
(note_mouse_highlight): Call mouse_face_overlay_overlaps
to detect a case where we have to highlight a different region
despite not having left the currently highlighted region.
Set mouse_face_overlay in the x_display_info.
(x_term_init): Initialze the x_display_info's mouse_face_overlay.
to detect a case where we have to highlight a different region
despite not having left the currently highlighted region.
Set mouse_face_overlay in the x_display_info.
(x_term_init): Initialze the x_display_info's mouse_face_overlay.
| src/xterm.c | diffblobblamehistory |