diff options
| author | Richard M. Stallman | 1994-08-31 04:14:02 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1994-08-31 04:14:02 +0000 |
| commit | 1d3195db88be2507b478c9ec233f04bf9e79c16b (patch) | |
| tree | f7f41494a6a0e6b811198dccc7f5546f7db4c759 /src | |
| parent | e90fc7928520bbad52d0a362723e05a7b5e57930 (diff) | |
| download | emacs-1d3195db88be2507b478c9ec233f04bf9e79c16b.tar.gz emacs-1d3195db88be2507b478c9ec233f04bf9e79c16b.zip | |
(input_polling_used): New function.
Diffstat (limited to 'src')
| -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 8efb3507c0c..6534e45e022 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -1335,6 +1335,18 @@ start_polling () | |||
| 1335 | #endif | 1335 | #endif |
| 1336 | } | 1336 | } |
| 1337 | 1337 | ||
| 1338 | /* Nonzero if we are using polling to handle input asynchronously. */ | ||
| 1339 | |||
| 1340 | int | ||
| 1341 | input_polling_used () | ||
| 1342 | { | ||
| 1343 | #ifdef POLL_FOR_INPUT | ||
| 1344 | return read_socket_hook && !interrupt_input; | ||
| 1345 | #else | ||
| 1346 | return 0; | ||
| 1347 | #endif | ||
| 1348 | } | ||
| 1349 | |||
| 1338 | /* Turn off polling. */ | 1350 | /* Turn off polling. */ |
| 1339 | 1351 | ||
| 1340 | stop_polling () | 1352 | stop_polling () |