changeset 8673:6d1d308ff12d

(input_polling_used): New function.
author Richard M. Stallman <rms@gnu.org>
date Wed, 31 Aug 1994 04:14:02 +0000
parents 415a25bb4ee7
children bcfd4c7eecb0
files src/keyboard.c
diffstat 1 files changed, 12 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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 ()