Status_Bar GUI Elements
extends OpenCAGE.GUI.Workbench.GUI_Element
A statusbar used in the workbench.
private Gtk.Label.Gtk_Label Label |
The label that holds the status text.
private Ada.Strings.Unbounded.Unbounded_String WMM_Info |
private Ada.Strings.Unbounded.Unbounded_String DC_Info |
private Ada.Strings.Unbounded.Unbounded_String State_Info |
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'.]
extends OpenCAGE.GUI.Display_Controllers.Display_Controller_Observer
private OpenCAGE.GUI.Workbench.Elements.Status_Bar.Status_Bar Display |
The display to be changed.
Is called by the observed Display_Controller when something has changed [This description is adopted from 'OpenCAGE.GUI.Display_Controllers.Display_Controller_Observer'.]
extends OpenCAGE.Window_Masters.Models.Window_Master_Model_Observer
private OpenCAGE.GUI.Workbench.Elements.Status_Bar.Status_Bar Display |
The display to be changed.
private OpenCAGE.GUI.Workbench.Elements.Status_Bar.Status_Bar_Display_Controller_Observer DC_Observer |
The Display_Controller_Observer that observes the focused Display_Controller. The Window_Master_Model_Observer attaches and detaches this Display_Controller_Observer, when it gets the matching messages.
Is called by the observed Window_Master_Model when something has changed [This description is adopted from 'OpenCAGE.Window_Masters.Models.Window_Master_Model_Observer'.]
extends OpenCAGE.State.State_Model_Observer
private OpenCAGE.GUI.Workbench.Elements.Status_Bar.Status_Bar Display |