Fix bug #9955 with mouse-highlight that starts at beginning of window.
authorEli Zaretskii <eliz@gnu.org>
Fri, 4 Nov 2011 20:01:06 +0000 (22:01 +0200)
committerEli Zaretskii <eliz@gnu.org>
Fri, 4 Nov 2011 20:01:06 +0000 (22:01 +0200)
commita58c13ed78ff7fff3e77348c98ecc0d987eda52c
treebda4f26785661c8180489f7e5e8dab35f1016794
parentfe0b6370b7415d81b575bac22caea623aa69c9c1
Fix bug #9955 with mouse-highlight that starts at beginning of window.

 src/xdisp.c (note_mouse_highlight): If either of
 previous/next-single-property-change returns nil, treat that as
 the beginning or the end of the buffer.
src/ChangeLog
src/xdisp.c