diff options
Diffstat (limited to 'src/gui/gui-input.h')
| -rw-r--r-- | src/gui/gui-input.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/gui/gui-input.h b/src/gui/gui-input.h index 49e6c1eb2..035e6f8dd 100644 --- a/src/gui/gui-input.h +++ b/src/gui/gui-input.h @@ -72,11 +72,6 @@ extern void gui_input_history_local_previous (struct t_gui_buffer *buffer); extern void gui_input_history_local_next (struct t_gui_buffer *buffer); extern void gui_input_history_global_previous (struct t_gui_buffer *buffer); extern void gui_input_history_global_next (struct t_gui_buffer *buffer); -extern void gui_input_hotlist_clear (struct t_gui_buffer *buffer, - const char *level_mask); -extern void gui_input_hotlist_remove_buffer (struct t_gui_buffer *buffer); -extern void gui_input_hotlist_restore_buffer (struct t_gui_buffer *buffer); -extern void gui_input_hotlist_restore_all (); extern void gui_input_grab_key (struct t_gui_buffer *buffer, int command, const char *delay); extern void gui_input_grab_mouse (struct t_gui_buffer *buffer, int area); |