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

java.lang.Object
  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>