(record_char): Record `help-echo' input events
authorGerd Moellmann <gerd@gnu.org>
Mon, 4 Dec 2000 12:22:46 +0000 (12:22 +0000)
committerGerd Moellmann <gerd@gnu.org>
Mon, 4 Dec 2000 12:22:46 +0000 (12:22 +0000)
commite8a5078504f1c7f6431a8389cee571dcdc974945
tree9745c9f201e909fe8f17fdd9405c40e228df870d
parent9fff53a32b227ba0ad951b7f5e710f14cf01202f
(record_char): Record `help-echo' input events
in recent_keys only if they display some help.  Don't record
`help-echo' events as macro char.
src/keyboard.c