Source position: gtkuimanager.inc line 83
procedure gtk_ui_manager_remove_ui(
self: PGtkUIManager;
merge_id: guint
);