|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--edu.rice.cs.drjava.config.OptionEvent
Field Summary | |
Option |
option
|
Object |
value
|
Constructor Summary | |
OptionEvent(Option option,
Object value)
|
Methods inherited from class java.lang.Object |
|
Field Detail |
public final Option option
public final Object value
Constructor Detail |
public OptionEvent(Option option, Object value)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |