Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK2
GTK2.UiManager

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.