# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 976035831 0
# Node ID 7e1889a5e246275d429d2e4db30fed9e1ec39874
# Parent  9e2f85266e61a49777164cfe99226c4a8aea50e3
*** empty log message ***

diff -r 9e2f85266e61 -r 7e1889a5e246 src/ChangeLog
--- a/src/ChangeLog	Tue Dec 05 17:03:29 2000 +0000
+++ b/src/ChangeLog	Tue Dec 05 17:03:51 2000 +0000
@@ -1,5 +1,8 @@
 2000-12-05  Gerd Moellmann  <gerd@gnu.org>
 
+	* keyboard.c (record_char): Don't record identical help-echo
+	events in recent_keys.
+
 	* xterm.c [USE_X_TOOLKIT]: Close the display.
 	(xim_close_dpy): Handle case that the display has been closed.