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]