diff options
Diffstat (limited to 'src/gui/gui.h')
| -rw-r--r-- | src/gui/gui.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gui/gui.h b/src/gui/gui.h index 3b24a1bb0..f9a0c74c4 100644 --- a/src/gui/gui.h +++ b/src/gui/gui.h @@ -100,6 +100,7 @@ extern void gui_buffer_switch_raw_data (t_gui_window *); extern t_gui_buffer *gui_buffer_switch_by_number (t_gui_window *, int); extern void gui_buffer_move_to_number (t_gui_buffer *, int); extern void gui_buffer_search_start (t_gui_window *); +extern void gui_buffer_search_restart (t_gui_window *); extern void gui_buffer_search_stop (t_gui_window *); extern int gui_buffer_search_text (t_gui_window *); extern void gui_buffer_print_log (t_gui_buffer *); |