| 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.