com.javadocking.component
Interface Header

All Known Subinterfaces:

DockHeader, SelectableHeader

All Known Implementing Classes:

DefaultDockHeader, ImageMinimzeHeader, MaximizeHeader, MinimzeHeader, PointDockHeader, PointGripDockHeader, SelectableDockableHeader, SelectableDockHeader, SingleDockHeader

public interface Header

An interface for a header of an object. The header has a position.

Author:

Heidi Rakels.

Method Summary

void	addPropertyChangeListener(java.beans.PropertyChangeListener listener) Adds a java.beans.PropertyChangeListener.
void	dispose() Disposes the header.
int	getPosition() Gets the position of this header.
void	removePropertyChangeListener(java.beans.PropertyChangeListener listener) Removes a java.beans.PropertyChangeListener.
void	setPosition(int position) Gets the position of this header.

Method Detail

getPosition

int getPosition()

Gets the position of this header. Possible values are constants defined by the class Position, i.e.:

• Position.LEFT,
• Position.RIGHT,
• Position.TOP,
• Position.BOTTOM.

Returns:

The position of this header.

setPosition

void setPosition(int position)

Gets the position of this header. Possible values are constants defined by the class Position, i.e.:

• Position.LEFT,
• Position.RIGHT,
• Position.TOP,
• Position.BOTTOM.

Parameters:

position - The position of this header.

addPropertyChangeListener

void addPropertyChangeListener(java.beans.PropertyChangeListener listener)

Adds a java.beans.PropertyChangeListener.

Parameters:

listener - The property change listener to be added.

removePropertyChangeListener

void removePropertyChangeListener(java.beans.PropertyChangeListener listener)

Removes a java.beans.PropertyChangeListener. This removes a listener.

Parameters:

listener - The property change listener to be removed

dispose

void dispose()

Disposes the header.