diff options
| -rw-r--r-- | src/keyboard.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index d142d4c1979..c3e4f5d36a8 100644 --- a/src/keyboard.c +++ b/src/keyboard.c @@ -12389,8 +12389,6 @@ syms_of_keyboard_for_pdumper (void) eassert (initial_kboard == NULL); initial_kboard = allocate_kboard (Qt); - Vwhile_no_input_ignore_events = Qnil; - inhibit_record_char = false; } |