diff options
| author | tamplan <[email protected]> | 2020-06-28 12:10:46 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-28 12:10:46 +0200 |
| commit | 5d594e559d532b0ddc7b6fd9f92bdd34f67fe9af (patch) | |
| tree | 07c6ee86895572a8209df88fe6235783e194de0d /src/profile-editor.h | |
| parent | 6434ac44d98c97e04f32defd61cab55e2ba92e77 (diff) | |
| download | mate-terminal-5d594e559d532b0ddc7b6fd9f92bdd34f67fe9af.tar.bz2 mate-terminal-5d594e559d532b0ddc7b6fd9f92bdd34f67fe9af.tar.xz | |
Add tab scrolling support for GTK3
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 */ |