UIManager.removeUi

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

class UIManager
void
removeUi
(
uint mergeId
)

Parameters

mergeId uint

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