diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/keyboard.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index a52fd604991..625e14b9247 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -8040,7 +8040,9 @@ by position only."); | |||
| 8040 | inhibit_local_menu_bar_menus = 0; | 8040 | inhibit_local_menu_bar_menus = 0; |
| 8041 | 8041 | ||
| 8042 | DEFVAR_INT ("num-input-keys", &num_input_keys, | 8042 | DEFVAR_INT ("num-input-keys", &num_input_keys, |
| 8043 | "Number of complete keys read from the keyboard so far."); | 8043 | "Number of complete key sequences read from the keyboard so far.\n\ |
| 8044 | This includes key sequences read from keyboard macros.\n\ | ||
| 8045 | The number is effectively the number of interactive command invocations."); | ||
| 8044 | num_input_keys = 0; | 8046 | num_input_keys = 0; |
| 8045 | 8047 | ||
| 8046 | DEFVAR_LISP ("last-event-frame", &Vlast_event_frame, | 8048 | DEFVAR_LISP ("last-event-frame", &Vlast_event_frame, |