diff options
Diffstat (limited to 'plugins/gtkui/callbacks.h')
| -rw-r--r-- | plugins/gtkui/callbacks.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/plugins/gtkui/callbacks.h b/plugins/gtkui/callbacks.h index e5c04fe2..d7d2fd6a 100644 --- a/plugins/gtkui/callbacks.h +++ b/plugins/gtkui/callbacks.h @@ -717,3 +717,11 @@ on_toggle_menu_activate (GtkMenuItem *menuitem, void on_toggle_column_headers_activate (GtkMenuItem *menuitem, gpointer user_data); + +void +on_stop_after_current1_activate (GtkMenuItem *menuitem, + gpointer user_data); + +void +on_stop_after_current_activate (GtkMenuItem *menuitem, + gpointer user_data); |