fr.ove.openmath.courses.editor.events
Interface EditorListener

All Superinterfaces:

java.util.EventListener

All Known Implementing Classes:

EditableJomeApplet

public interface EditorListener

extends java.util.EventListener

The interface that an object which want to be alerted of the changes of an editor must implement.

Version:

1.0 21/04/99

Author:

© 1999 DIRAT Laurent

Method Summary

void	consumeEditorEvent(EditorEvent editorEvent) Consumes (i.e. treats) the event received.

Method Detail

consumeEditorEvent

public void consumeEditorEvent(EditorEvent editorEvent)

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

Parameters:

editorEvent - the event to consume.