|
|||||||||
Home >> All >> javax >> ide >> [ editor overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: ![]() ![]() ![]() |
DETAIL: FIELD | CONSTR | METHOD |
javax.ide.editor
Class EditorEvent

java.lang.Objectjava.util.EventObject
javax.ide.editor.EditorEvent
- All Implemented Interfaces:
- java.io.Serializable
- public final class EditorEvent
- extends java.util.EventObject
The DocumentEvent is the parameter passed to the EditorListener methods when the state of Editor has changed.
The EditorEvent
source is the editor instance whose state
is changing. The convenience method getEditor()
55 can be used to
retrieve the editor instance.
Field Summary |
Fields inherited from class java.util.EventObject |
source |
Constructor Summary | |
EditorEvent(Editor editor)
Constructor. |
Method Summary | |
Editor |
getEditor()
Get the Editor where the event happened. |
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 |
EditorEvent
public EditorEvent(Editor editor)
- Constructor.
Method Detail |
getEditor
public Editor getEditor()
- Get the Editor where the event happened.
This is functionally equivalent to casting the result of getSource() to
a
Editor
object.
|
|||||||||
Home >> All >> javax >> ide >> [ editor overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: ![]() ![]() ![]() |
DETAIL: FIELD | CONSTR | METHOD |