UIManager.addUi

void addUi(uint mergeId, string path, string name, string action, gtk.types.UIManagerItemType type, bool top)

Adds a UI element to the current contents of manager.

If type is [gtk.types.UIManagerItemType.Auto], GTK+ inserts a menuitem, toolitem or separator if such an element can be inserted at the place determined by path. Otherwise type must indicate an element that can be inserted at the place determined by path.

If path points to a menuitem or toolitem, the new element will be inserted before or after this item, depending on top.

Parameters

mergeIdthe merge id for the merged UI, see [gtk.uimanager.UIManager.newMergeId]
patha path
namethe name for the added UI element
actionthe name of the action to be proxied, or null to add a separator
typethe type of UI element to add.
topif true, the UI element is added before its siblings, otherwise it is added after its siblings.