(note_mouse_highlight): If help-echo was found in an
authorGerd Moellmann <gerd@gnu.org>
Fri, 21 Jul 2000 15:38:39 +0000 (15:38 +0000)
committerGerd Moellmann <gerd@gnu.org>
Fri, 21 Jul 2000 15:38:39 +0000 (15:38 +0000)
commit743934dbc8ff5151ebca1725e5c6c1606f4f0505
treeb1b18a7511d767fcefe640191c6cc189cb2f2c48
parent5b2ec2d060b02041604130dc84b42e517bc84796
(note_mouse_highlight): If help-echo was found in an
overlay, use that overlay as the object in which the help was
found.
src/ChangeLog
src/xterm.c