# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 991221583 0
# Node ID 8f7b126354f056caea37363296b2458b0d8e4def
# Parent  b64d19038fcaa36a68482fc19fe8e9f5613d5e0c
*** empty log message ***

diff -r b64d19038fca -r 8f7b126354f0 src/ChangeLog
--- a/src/ChangeLog	Wed May 30 11:19:10 2001 +0000
+++ b/src/ChangeLog	Wed May 30 11:19:43 2001 +0000
@@ -1,3 +1,9 @@
+2001-05-30  Gerd Moellmann  <gerd@gnu.org>
+
+	* xterm.c (note_mouse_highlight): If an overlapping overlay
+	exists, but we find that we highlight the same overlay as before,
+	don't do the highlighting again.
+
 2001-05-29  Gerd Moellmann  <gerd@gnu.org>
 
 	* xmenu.c (single_submenu, xmenu_show) [!HAVE_MULTILINGUAL_MENU]: