# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 948815574 0
# Node ID b696009c65860614f9bc3d6dfd45c2787cc3dd23
# Parent  c3199813ea4d4cb2c8b6555887ca6b0b22c5c50d
(polling_for_input): Removed.

diff -r c3199813ea4d -r b696009c6586 src/keyboard.h
--- a/src/keyboard.h	Tue Jan 25 15:52:34 2000 +0000
+++ b/src/keyboard.h	Tue Jan 25 15:52:54 2000 +0000
@@ -189,9 +189,6 @@
 /* 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;