Extracted from Pike v8.0 release 28 as of 2015-08-03.
   

Method GTK2.UiManager()->remove_ui()


Method remove_ui

GTK2.UiManager remove_ui(int merge_id)

Description

Unmerges the part of the content identified by merge_id.