# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 778103958 0
# Node ID 0334c1b51e87fecca78c2cfcf7a86f0fd44fa091
# Parent  07cc798f5cabff3e1a37b83fd87ba467a276cf86
(polling_for_input): Declared.

diff -r 07cc798f5cab -r 0334c1b51e87 src/keyboard.h
--- a/src/keyboard.h	Sun Aug 28 19:58:40 1994 +0000
+++ b/src/keyboard.h	Sun Aug 28 19:59:18 1994 +0000
@@ -26,6 +26,9 @@
 /* Nonzero means polling for input is temporarily suppressed.  */
 extern int poll_suppress_count;
 
+/* Nonzero if polling_for_input is actually being used.  */
+extern int polling_for_input;
+
 /* Keymap mapping ASCII function key sequences onto their preferred forms.
    Initialized by the terminal-specific lisp files.  */
 extern Lisp_Object Vfunction_key_map;