(set_poll_suppress_count): New function.

diff --git a/src/keyboard.c b/src/keyboard.c
index b0534f1dd1fbf1656a03fe6eb1d96ae72d91d1f4..1a7821acb3777a326fa11952c3826ec5c81326e0 100644 (file)
--- 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
+}
 \f
 /* Applying the control modifier to CHARACTER.  */
 int