diff options
author | Matthias Clasen <mclasen@redhat.com> | 2009-06-22 11:46:03 -0400 |
---|---|---|
committer | Matthias Clasen <mclasen@redhat.com> | 2009-06-22 11:46:03 -0400 |
commit | d3ae855ce67e66f055174909f98239ff4676fbb2 (patch) | |
tree | 5436c99f1dfa566d4cda0ec1d26f65b62da17f4d /gtk/gtkmenu.h | |
parent | af219b818f0493efe02153cc9341b61908962061 (diff) | |
download | gtk+-d3ae855ce67e66f055174909f98239ff4676fbb2.tar.gz |
Forgotten header file
Diffstat (limited to 'gtk/gtkmenu.h')
-rw-r--r-- | gtk/gtkmenu.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gtk/gtkmenu.h b/gtk/gtkmenu.h index 6f988f0033..4cdcad3fc3 100644 --- a/gtk/gtkmenu.h +++ b/gtk/gtkmenu.h @@ -209,6 +209,12 @@ GList* gtk_menu_get_for_attach_widget (GtkWidget *widget); #define gtk_menu_insert(menu,child,pos) gtk_menu_shell_insert ((GtkMenuShell *)(menu),(child),(pos)) #endif /* GTK_DISABLE_DEPRECATED */ +/* private */ + +void _gtk_menu_set_reserve_toggle_size (GtkMenu *menu, + gboolean reserve); + + G_END_DECLS #endif /* __GTK_MENU_H__ */ |