fr.ove.openmath.jome.ctrlview.bidim.selection.events
Interface SelectionEventListener

All Superinterfaces:

java.util.EventListener

All Known Implementing Classes:

SelectionManager

public interface SelectionEventListener

extends java.util.EventListener

The interface that an object which want to maintain a list of selected elements must implement.

Version:

1.0 30/06/98

Author:

© 1998 DIRAT Laurent

Method Summary

void	consumeSelectionEvent(SelectionEvent selectionEvent) Consumes (i.e. treats) the event received.

Method Detail

consumeSelectionEvent

public void consumeSelectionEvent(SelectionEvent selectionEvent)

Consumes (i.e. treats) the event received.

Parameters:

selectionEvent - the event to consume.