diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2016-01-26 07:41:41 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-01-26 07:42:54 -0800 |
commit | b4c7b510ae46a65fa6a13fa397209c0241386c1f (patch) | |
tree | 96c5a2908290b96283f7db81e3a8c96cb3a67191 | |
parent | ad879b7f7e049160c45361fe8a12580801ba035b (diff) |
Remove never-set var handle_user_signal_hook
* src/keyboard.c, src/keyboard.h (handle_user_signal_hook):
Remove never-set var. All uses removed.
-rw-r--r-- | src/keyboard.c | 5 | ||||
-rw-r--r-- | src/keyboard.h | 2 |
2 files changed, 0 insertions, 7 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index 3cddd4119d..20aa2dbd38 100644 --- a/src/keyboard.c +++ b/src/keyboard.c @@ -7142,9 +7142,6 @@ struct user_signal_info /* List of user signals. */ static struct user_signal_info *user_signals = NULL; -/* Function called when handling user signals. */ -void (*handle_user_signal_hook) (int); - void add_user_signal (int sig, const char *name) { @@ -7193,8 +7190,6 @@ handle_user_signal (int sig) } p->npending++; - if (handle_user_signal_hook) - (*handle_user_signal_hook) (sig); #ifdef USABLE_SIGIO if (interrupt_input) handle_input_available_signal (sig); diff --git a/src/keyboard.h b/src/keyboard.h index 55667bfb17..7f95f11bc1 100644 --- a/src/keyboard.h +++ b/src/keyboard.h @@ -415,8 +415,6 @@ extern void unuse_menu_items (void); #define EVENT_HEAD_KIND(event_head) \ (Fget ((event_head), Qevent_kind)) -extern void (*handle_user_signal_hook) (int); - /* True while doing kbd input. */ extern bool waiting_for_input; |