UIManager.removeUi

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

class UIManager

void

removeUi

(

)

Parameters

mergeId uint: a merge id as returned by gtk_ui_manager_add_ui_from_string()

Meta

Since

2.4