}
/*package protected */ void fireDockingActionPerformed(DockingActionEvent e){
for (int i = 0; i < dockingActionListeners.size(); i++) {
DockingActionListener listener = dockingActionListeners.get(i);
listener.dockingActionPerformed(e);
}
}
/** Returns a list of the desktops sharing this context */
public ArrayList getDesktopList() {