Gtk.UIManager.remove_ui Reference Manual
Gtk.UIManager.remove_ui:
Description:
public
void
remove_ui (
uint
merge_id)
created by
valadoc