edu.rice.cs.drjava.ui
Class DefinitionsPane.FindResultsColorOptionListener

java.lang.Object
  extended by edu.rice.cs.drjava.ui.DefinitionsPane.FindResultsColorOptionListener
All Implemented Interfaces:
OptionListener<Color>
Enclosing class:
DefinitionsPane

private static class DefinitionsPane.FindResultsColorOptionListener
extends Object
implements OptionListener<Color>

The OptionListener for FIND_RESULTS_COLOR.


Field Summary
private  int _index
           
 
Constructor Summary
DefinitionsPane.FindResultsColorOptionListener(int i)
           
 
Method Summary
 void optionChanged(OptionEvent<Color> oce)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_index

private int _index
Constructor Detail

DefinitionsPane.FindResultsColorOptionListener

public DefinitionsPane.FindResultsColorOptionListener(int i)
Method Detail

optionChanged

public void optionChanged(OptionEvent<Color> oce)
Specified by:
optionChanged in interface OptionListener<Color>