62
62
MENU_MANAGER_DUMMY_PROPERTY
65
64
MenuManager* menu_manager_new (void);
66
65
MenuManager* menu_manager_construct (GType object_type);
67
67
void menu_manager_register_visible_menu (MenuManager* self, GtkMenu* menu);
68
68
void menu_manager_popdown_current_menu (MenuManager* self);
69
69
gboolean menu_manager_menu_is_open (MenuManager* self);