7 GtkMenuShell
*gtk_menu_shell
;
9 GtkTearoffMenuItem
*tearoff
;
12 DirtyGtkMenu
*dirty_gtk_menu_new(void);
13 void dirty_gtk_menu_append(DirtyGtkMenu
* menu
, GtkWidget
* item
);
14 GtkTearoffMenuItem
*dirty_gtk_menu_get_tearoff(DirtyGtkMenu
* menu
);
15 void dirty_gtk_menu_release(DirtyGtkMenu
* menu
);