1 files changed, 21 insertions, 0 deletions

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