org.openstreetmap.josm.gui
Interface SelectionManager.SelectionEnded

Enclosing class:

SelectionManager

public static interface SelectionManager.SelectionEnded

This is the interface that an user of SelectionManager has to implement to get informed when a selection closes.

Author:

imi

Method Summary

void	addPropertyChangeListener(java.beans.PropertyChangeListener listener) Called to register the selection manager for "active" property.
void	removePropertyChangeListener(java.beans.PropertyChangeListener listener) Called to remove the selection manager from the listener list for "active" property.
void	selectionEnded(java.awt.Rectangle r, boolean alt, boolean shift, boolean ctrl) Called, when the left mouse button was released.

Method Detail

selectionEnded

void selectionEnded(java.awt.Rectangle r,
                    boolean alt,
                    boolean shift,
                    boolean ctrl)

Called, when the left mouse button was released.

Parameters:

r - The rectangle that is currently the selection.

alt - Whether the alt key was pressed

shift - Whether the shift key was pressed

ctrl - Whether the ctrl key was pressed

See Also:

InputEvent.getModifiersEx()

addPropertyChangeListener

void addPropertyChangeListener(java.beans.PropertyChangeListener listener)

Called to register the selection manager for "active" property.

Parameters:

listener - The listener to register

removePropertyChangeListener

void removePropertyChangeListener(java.beans.PropertyChangeListener listener)

Called to remove the selection manager from the listener list for "active" property.

Parameters:

listener - The listener to register