diff options
author | Richard M. Stallman <[email protected]> | 1994-08-31 04:14:02 +0000 |
---|---|---|
committer | Richard M. Stallman <[email protected]> | 1994-08-31 04:14:02 +0000 |
commit | 1d3195db88be2507b478c9ec233f04bf9e79c16b (patch) | |
tree | f7f41494a6a0e6b811198dccc7f5546f7db4c759 /src/keyboard.c | |
parent | e90fc7928520bbad52d0a362723e05a7b5e57930 (diff) |
(input_polling_used): New function.
Diffstat (limited to 'src/keyboard.c')
-rw-r--r-- | src/keyboard.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index 8efb3507c0..6534e45e02 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 () |