Menu GUI Elements
extends OpenCAGE.GUI.Workbench.GUI_Element
A menu used in the workbench.
private OpenCAGE.GUI.General.Oc_Gtkada_Menu_Items_Lists.List Menu_Items |
The menu items in the workbench that have to be updated (greyed out?).
Returns a name specific for this element. This will perhaps be used to identify a matching model. [This description is adopted from 'OpenCAGE.GUI.Workbench.GUI_Element'.]
Create and return the widget that belongs to this element. [This description is adopted from 'OpenCAGE.GUI.Workbench.GUI_Element'.]
Precondition: Model and Handler if applicable are set. [This precondition is adopted from 'OpenCAGE.GUI.Workbench.GUI_Element'.]