fr.ove.openmath.jome.ctrlview.events
Interface ControlListener

All Superinterfaces:

java.util.EventListener

All Known Implementing Classes:

FormulaTreeStructure

public interface ControlListener

extends java.util.EventListener

The interface that an object which want to be alerted of the control actions must implement.

Version:

1.0 09/07/98

Author:

© 1998 DIRAT Laurent

Method Summary

void	consumeControlEvent(ControlEvent controlEvent) Consumes (i.e. treats) the event received.

Method Detail

consumeControlEvent

public void consumeControlEvent(ControlEvent controlEvent)

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

Parameters:

controlEvent - the event to consume.