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