diff options
| author | Robert Antoni Buj Gelonch <[email protected]> | 2020-07-08 10:49:59 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-08 10:49:59 +0200 |
| commit | e6ff299f576c4629d6bbe7d7c60a0163fefd5e9e (patch) | |
| tree | d85a70879ed9c0f5648a1efc656658d998820aaa /src/profile-editor.h | |
| parent | fc0307a8093c31d4dfd9c46450e12c86d3c8d7f9 (diff) | |
| download | mate-terminal-e6ff299f576c4629d6bbe7d7c60a0163fefd5e9e.tar.bz2 mate-terminal-e6ff299f576c4629d6bbe7d7c60a0163fefd5e9e.tar.xz | |
terminal_profile_edit_dialog_page_scroll_event_cb is only used in profile-editor.c (#361)
terminal_profile_edit_dialog_page_scroll_event_cb is only used in profile-editor
- refactor/rename terminal_profile_edit_dialog_page_scroll_event_cb
Diffstat (limited to 'src/profile-editor.h')
| -rw-r--r-- | src/profile-editor.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/profile-editor.h b/src/profile-editor.h index caf9503..8fd6e7f 100644 --- a/src/profile-editor.h +++ b/src/profile-editor.h @@ -29,9 +29,6 @@ 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 */ |