Extracted from Pike v8.0 release 276 as of 2016-07-30.
   

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.