changeset 37945:8f7b126354f0

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Wed, 30 May 2001 11:19:43 +0000
parents b64d19038fca
children fe4457964ac0
files src/ChangeLog
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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]: