# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 778306442 0
# Node ID 6d1d308ff12d3d2ceccbb995727338b3c6a4866a
# Parent  415a25bb4ee76d5f33021e5b68b6edcf2b371d02
(input_polling_used): New function.

diff -r 415a25bb4ee7 -r 6d1d308ff12d src/keyboard.c
--- a/src/keyboard.c	Tue Aug 30 23:56:15 1994 +0000
+++ b/src/keyboard.c	Wed Aug 31 04:14:02 1994 +0000
@@ -1335,6 +1335,18 @@
 #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 ()