(record_char): Don't record identical help-echo
commit52be17cc7111b281eceb17aae0c0adad307d51c9
authorGerd Moellmann <gerd@gnu.org>
Tue, 5 Dec 2000 17:03:51 +0000 (5 17:03 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 5 Dec 2000 17:03:51 +0000 (5 17:03 +0000)
tree67ba171f7ed12cf7b2633d1dbd85cf72ad719344
parent5c62b2e97a406a7d05a3bfddd49b091791efaec0
(record_char): Don't record identical help-echo
events in recent_keys.
src/ChangeLog
src/keyboard.c