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_ui_manager_add_ui_from_string()

Meta