# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1147906403 0
# Node ID 3cde28b591e870115615d12db305b14d728dd245
# Parent  434948c350d2c80585307ebb0666c4f72d630423
Comment change.

diff -r 434948c350d2 -r 3cde28b591e8 src/xterm.c
--- a/src/xterm.c	Wed May 17 22:51:07 2006 +0000
+++ b/src/xterm.c	Wed May 17 22:53:23 2006 +0000
@@ -6084,6 +6084,8 @@
 
       f = x_any_window_to_frame (dpyinfo, event.xkey.window);
 
+      /* If mouse-highlight is an integer, input clears out
+	 mouse highlighting.  */
       if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight)
 	  && (f == 0
 	      || !EQ (f->tool_bar_window, dpyinfo->mouse_face_window)))