edu.rice.cs.drjava.config
Class OptionEvent

java.lang.Object
  |
  +--edu.rice.cs.drjava.config.OptionEvent

public class OptionEvent
extends Object


Field Summary
 Option option
           
 Object value
           
 
Constructor Summary
OptionEvent(Option option, Object value)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

option

public final Option option

value

public final Object value
Constructor Detail

OptionEvent

public OptionEvent(Option option,
                   Object value)