UIManager.removeUi

void removeUi(uint mergeId)

Unmerges the part of manager's content identified by merge_id.

Parameters

mergeIda merge id as returned by gtk.uimanager.UIManager.addUiFromString