The Meta-Environment API

nl.cwi.sen1.gui.plugin
Class EditorModifiedEvent

java.lang.Object
  extended by java.util.EventObject
      extended by nl.cwi.sen1.gui.plugin.EditorModifiedEvent
All Implemented Interfaces:
java.io.Serializable

public class EditorModifiedEvent
extends java.util.EventObject

See Also:
Serialized Form

Field Summary
 
Fields inherited from class java.util.EventObject
source
 
Constructor Summary
EditorModifiedEvent(java.lang.Object source)
           
 
Method Summary
 
Methods inherited from class java.util.EventObject
getSource, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

EditorModifiedEvent

public EditorModifiedEvent(java.lang.Object source)

The Meta-Environment API