From 6fe007f7d1a39a005979f272ed4a4092a146b932 Mon Sep 17 00:00:00 2001 From: Gerd Moellmann Date: Sat, 12 Feb 2000 13:11:29 +0000 Subject: [PATCH] (bind_polling_period): Stop all timers except poll_timer. --- src/keyboard.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/keyboard.c b/src/keyboard.c index 3691f1b997e..0b145454729 100644 --- a/src/keyboard.c +++ b/src/keyboard.c @@ -1826,6 +1826,7 @@ bind_polling_period (n) if (n > new) new = n; + stop_other_atimers (poll_timer); stop_polling (); specbind (Qpolling_period, make_number (new)); /* Start a new alarm with the new period. */ -- 2.39.5