diff options
Diffstat (limited to 'gtk/gtkuimanager.c')
| -rw-r--r-- | gtk/gtkuimanager.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gtk/gtkuimanager.c b/gtk/gtkuimanager.c index 3c2732025..5d0453005 100644 --- a/gtk/gtkuimanager.c +++ b/gtk/gtkuimanager.c @@ -2008,10 +2008,6 @@ enum { SEPARATOR_MODE_HIDDEN }; -void _gtk_action_sync_menu_visible (GtkAction *action, - GtkWidget *proxy, - gboolean empty); - static void update_smart_separators (GtkWidget *proxy) { |