Warning gtk_ui_manager_remove_ui is deprecated and should not be used in newly-written code. 3.10 Unmerges the part of managers content identified by merge_id. Since 2.4
a merge id as returned by gtk_ui_manager_add_ui_from_string()
See Implementation
Warning gtk_ui_manager_remove_ui is deprecated and should not be used in newly-written code. 3.10 Unmerges the part of managers content identified by merge_id. Since 2.4