[ Patch from Sebastian Wilhelmi, 52790 ]

[~andy/gtk] / gtk / gtkmenu.h

diff --git a/gtk/gtkmenu.h b/gtk/gtkmenu.h
index 75f51c2a8ceb67565cd23dc6593a9db9c2523ec9..9acfb410b0d618e5de5c45bccb1395f04e0ac3da 100644 (file)
--- a/gtk/gtkmenu.h
+++ b/gtk/gtkmenu.h
@@ -178,6 +178,12 @@ void       gtk_menu_reorder_child         (GtkMenu             *menu,
                                            GtkWidget           *child,
                                            gint                position);
 
+#ifndef GTK_DISABLE_DEPRECATED
+#define gtk_menu_append                                gtk_menu_shell_append
+#define gtk_menu_prepend                       gtk_menu_shell_prepend
+#define gtk_menu_insert                                gtk_menu_shell_insert
+#endif /* GTK_DISABLE_DEPRECATED */
+
 #ifdef __cplusplus
 }
 #endif /* __cplusplus */