API Version: 47
Library Version: 47
Generated by gi-docgen 2023.3
void ide_menu_manager_remove ( IdeMenuManager* self, guint merge_id )
This removes items from menus that were added as part of a previous menu merge. Use the value returned from ide_menu_manager_merge() as the merge_id.
ide_menu_manager_merge()
merge_id
Type: guint
guint
A previously registered merge id.