diff options
| author | Paul Eggert | 2014-02-06 10:29:57 -0800 |
|---|---|---|
| committer | Paul Eggert | 2014-02-06 10:29:57 -0800 |
| commit | 9d37482ce3aeea8a99add51f57fd355996f6d3a9 (patch) | |
| tree | 10571a29f80b39f48451a20aeaa2935b1a92935c | |
| parent | 829f4f2256d11c0336618269b45b2eea299ed2ce (diff) | |
| download | emacs-9d37482ce3aeea8a99add51f57fd355996f6d3a9.tar.gz emacs-9d37482ce3aeea8a99add51f57fd355996f6d3a9.zip | |
Spelling fix.
| -rw-r--r-- | src/keyboard.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index c1de4dafcdd..1914dca0ba5 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -1991,7 +1991,7 @@ start_polling (void) | |||
| 1991 | been turned off in process.c. */ | 1991 | been turned off in process.c. */ |
| 1992 | turn_on_atimers (1); | 1992 | turn_on_atimers (1); |
| 1993 | 1993 | ||
| 1994 | /* If poll timer doesn't exist, are we need one with | 1994 | /* If poll timer doesn't exist, or we need one with |
| 1995 | a different interval, start a new one. */ | 1995 | a different interval, start a new one. */ |
| 1996 | if (poll_timer == NULL | 1996 | if (poll_timer == NULL |
| 1997 | || poll_timer->interval.tv_sec != polling_period) | 1997 | || poll_timer->interval.tv_sec != polling_period) |