Top |
|
disablePanels () |
|
enablePanels () |
|
setPanelsOpacity () |
|
lowerActorBelowPanels () |
|
removePanel () |
|
addPanel () |
|
movePanel () |
|
_destroyDummyPanels () |
|
getPanelsInMonitor () |
|
getPanels () |
|
getPanel () |
|
updatePanelsVisibility () |
Panel.Panel | _loadPanel () |
|
_onPanelsEnabledChanged () |
|
addPanelQuery () |
|
movePanelQuery () |
|
_showDummyPanels () |
PanelManager
creates panels and startup and provides methods for easier access of panels
lowerActorBelowPanels (ClutterActor actor
);
Lowers actor to just under the panel actors
addPanel (integer monitorIndex
,integer panelPosition
);
Adds a new panel to the specified position
movePanel (integer monitorIndex
,integer panelPosition
);
Moves the panel of id this.moveId to the specified position
getPanelsInMonitor (integer monitorIndex
);
Retrieves all the panels in the monitor of index monitorIndex
getPanel (integer monitorIndex
,integer panelPosition
);
Gets a specific panel in monitor monitorIndex
updatePanelsVisibility ();
Prompts every panel to update its visibility (show/hide). This is used by WindowManager after window map/tile/etc animations, and after popup menus close.
Panel.Panel _loadPanel (integer ID
,integer monitorIndex
,integer panelPosition
,array drawcorner
,array panelList
,array metaList
);
Loads a panel with the given properties and appends it to panelList
. panelList
is usually this.panels but is a different array when used by _onPanelsEnabledChanged.
ID |
panel id |
|
monitorIndex |
index of monitor of panel |
|
panelPosition |
where the panel should be |
|
drawcorner |
whether to draw corners for [left, right] |
|
panelList |
(optional) the list in which the new panel should be appended to (not necessarily this.panels, c.f. _onPanelsEnabledChanged) Default: this.panels |
|
metaList |
(optional) the list in which the new panel metadata should be appended to (not necessarily this.panelsMeta, c.f. _onPanelsEnabledChanged) Default: this.panelsMeta |
_onPanelsEnabledChanged ();
This will be called whenever the panels-enabled settings key is changed i.e. when panels are added, moved or removed.