From 1d3195db88be2507b478c9ec233f04bf9e79c16b Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Wed, 31 Aug 1994 04:14:02 +0000
Subject: [PATCH] (input_polling_used): New function.

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

diff --git a/src/keyboard.c b/src/keyboard.c
index 8efb3507c0c..6534e45e022 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -1335,6 +1335,18 @@ start_polling ()
 #endif
 }
 
+/* Nonzero if we are using polling to handle input asynchronously.  */
+
+int
+input_polling_used ()
+{
+#ifdef POLL_FOR_INPUT
+  return read_socket_hook && !interrupt_input;
+#else
+  return 0;
+#endif
+}
+
 /* Turn off polling.  */
 
 stop_polling ()
-- 
2.39.5