diff options
Diffstat (limited to 'src/profile-editor.h')
| -rw-r--r-- | src/profile-editor.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/profile-editor.h b/src/profile-editor.h index 8fd6e7f..caf9503 100644 --- a/src/profile-editor.h +++ b/src/profile-editor.h @@ -29,6 +29,9 @@ void terminal_profile_edit (TerminalProfile *profile, GtkWindow *transient_parent, const char *widget_name); +static gboolean terminal_profile_edit_dialog_page_scroll_event_cb (GtkWidget *notebook, + GdkEventScroll *event); + G_END_DECLS #endif /* TERMINAL_PROFILE_EDITOR_H */ |