se.entra.phantom.client

Class SessionManager.Session

java.lang.Object

se.entra.phantom.client.SessionManager.Session

All Implemented Interfaces:

PropertyChangeListener, Runnable, EventListener

Enclosing class:

SessionManager

public class SessionManager.Session
extends Object
implements PropertyChangeListener, Runnable

This class handles all panels in a panel session. When an application panel is used, several panel session may be in use (but the application panel doesn't belong to a session). For non-application panel applications, there is a single panel session.

The session manages session selection, owners of new panels, etc.

Method Summary

Modifier and Type	Method and Description
int	getIndex() Gets the index of this panel session.
PPanel	getPanel(int index) Gets a panel at the requested nesting level or index.
int	getPanelCount() Gets the panel count of this session.
int	getStdMenuHeight() Get standard menu height (Height of one menu bar).
void	propertyChange(PropertyChangeEvent event) Listener for a property change: JInternalFrame.IS_SELECTED_PROPERTY and JInternalFrame.IS_ICON_PROPERTY.
void	run() Creates the rest of the panel in the AWT thread.
void	setStdMenuHeight(int height) Set standard menu height (Height of one menu bar).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getIndex

public int getIndex()

Gets the index of this panel session.

getPanelCount

public int getPanelCount()

Gets the panel count of this session.

getPanel

public PPanel getPanel(int index)

Gets a panel at the requested nesting level or index.

run

public void run()

Creates the rest of the panel in the AWT thread.

Specified by:

run in interface Runnable

propertyChange

public void propertyChange(PropertyChangeEvent event)

Listener for a property change: JInternalFrame.IS_SELECTED_PROPERTY and JInternalFrame.IS_ICON_PROPERTY.

For the selected property, the session is put in the foreground.

For the icon property, all panels belonging to the same panel session (but the panel in question) are made visible or hidden depending on the restore or iconize property respectively.

Specified by:

propertyChange in interface PropertyChangeListener

getStdMenuHeight

public int getStdMenuHeight()

Get standard menu height (Height of one menu bar).

setStdMenuHeight

public void setStdMenuHeight(int height)

Set standard menu height (Height of one menu bar).