From fe8aeef3c33fe17492786ecb64d03fe9dffced28 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Fri, 6 Aug 1993 22:45:22 +0000
Subject: [PATCH] (set_poll_suppress_count): New function.

---
 src/keyboard.c | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/src/keyboard.c b/src/keyboard.c
index b0534f1dd1f..1a7821acb37 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -1258,6 +1258,27 @@ stop_polling ()
     }
 #endif
 }
+
+/* Set the value of poll_suppress_count to COUNT
+   and start or stop polling accordingly.  */
+
+void
+set_poll_suppress_count (count)
+     int count;
+{
+#ifdef POLL_FOR_INPUT
+  if (count == 0 && poll_suppress_count != 0)
+    {
+      poll_suppress_count = 1;
+      start_polling ();
+    }
+  else if (count != 0 && poll_suppress_count == 0)
+    {
+      stop_polling ();
+    }
+  poll_suppress_count = count;
+#endif
+}
 
 /* Applying the control modifier to CHARACTER.  */
 int
-- 
2.39.5