diff options
| author | Paul Eggert | 2016-01-30 13:56:23 -0800 |
|---|---|---|
| committer | Paul Eggert | 2016-01-30 13:56:23 -0800 |
| commit | 99fa8c3dbf333f1e3fa7d6449d4b4428ce439ce1 (patch) | |
| tree | fc459c16ca5f7204aa5a21529f8a189bfb45f831 /src/keyboard.c | |
| parent | 3005605776955593e0b416de9e1ebf158114343e (diff) | |
| parent | 875577bcc8d6139d61f91118d0907b847912b3e1 (diff) | |
| download | emacs-99fa8c3dbf333f1e3fa7d6449d4b4428ce439ce1.tar.gz emacs-99fa8c3dbf333f1e3fa7d6449d4b4428ce439ce1.zip | |
-
Diffstat (limited to 'src/keyboard.c')
| -rw-r--r-- | src/keyboard.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index b26cee24673..64d7b139ed0 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -7141,9 +7141,6 @@ struct user_signal_info | |||
| 7141 | /* List of user signals. */ | 7141 | /* List of user signals. */ |
| 7142 | static struct user_signal_info *user_signals = NULL; | 7142 | static struct user_signal_info *user_signals = NULL; |
| 7143 | 7143 | ||
| 7144 | /* Function called when handling user signals. */ | ||
| 7145 | void (*handle_user_signal_hook) (int); | ||
| 7146 | |||
| 7147 | void | 7144 | void |
| 7148 | add_user_signal (int sig, const char *name) | 7145 | add_user_signal (int sig, const char *name) |
| 7149 | { | 7146 | { |
| @@ -7192,8 +7189,6 @@ handle_user_signal (int sig) | |||
| 7192 | } | 7189 | } |
| 7193 | 7190 | ||
| 7194 | p->npending++; | 7191 | p->npending++; |
| 7195 | if (handle_user_signal_hook) | ||
| 7196 | (*handle_user_signal_hook) (sig); | ||
| 7197 | #ifdef USABLE_SIGIO | 7192 | #ifdef USABLE_SIGIO |
| 7198 | if (interrupt_input) | 7193 | if (interrupt_input) |
| 7199 | handle_input_available_signal (sig); | 7194 | handle_input_available_signal (sig); |