|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.util.EventObject de.grogra.pf.ui.event.EditEvent de.grogra.pf.ui.event.InputEditEvent
public class InputEditEvent
An InputEditEvent
is a consumable edit event.
Field Summary |
---|
Fields inherited from class java.util.EventObject |
---|
source |
Constructor Summary | |
---|---|
InputEditEvent()
|
Method Summary | |
---|---|
void |
consume()
Marks this event as consumed. |
boolean |
isConsumed()
Tests whether this event has been consumed. |
Methods inherited from class de.grogra.pf.ui.event.EditEvent |
---|
clone, getComponent, getPanel, getWindow, getWorkbench, paramString, set, set, set, toString |
Methods inherited from class java.util.EventObject |
---|
getSource |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public InputEditEvent()
Method Detail |
---|
public final void consume()
isConsumed()
will return true
.
public final boolean isConsumed()
true iff consume()
has been invoked
previously.
- Returns:
true
iff this event has been consumed
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |