# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 744677122 0
# Node ID e9389ba6e04c016bc30cc86034b8e97d9da5d060
# Parent  23d5b09bd218b90df13289c93e86ce92f4a236e0
(set_poll_suppress_count): New function.

diff -r 23d5b09bd218 -r e9389ba6e04c src/keyboard.c
--- a/src/keyboard.c	Fri Aug 06 22:44:00 1993 +0000
+++ b/src/keyboard.c	Fri Aug 06 22:45:22 1993 +0000
@@ -1258,6 +1258,27 @@
     }
 #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