# HG changeset patch # User Richard M. Stallman # Date 822891219 0 # Node ID 78c37f6d697b83282ac4c45451d02d59cc803191 # Parent 7d998103f266fd95012e6467fcb24f3ed5a857a3 (event_kind): New event type: timer_event. diff -r 7d998103f266 -r 78c37f6d697b src/termhooks.h --- a/src/termhooks.h Mon Jan 29 04:53:02 1996 +0000 +++ b/src/termhooks.h Mon Jan 29 04:53:39 1996 +0000 @@ -220,6 +220,7 @@ which the key was typed. .timestamp gives a timestamp (in milliseconds) for the keystroke. */ + timer_event, /* A timer fired. */ mouse_click, /* The button number is in .code; it must be >= 0 and < NUM_MOUSE_BUTTONS, defined below.