edu.rice.cs.drjava.model.definitions
Class ColoringGlyphPainter.ColorOptionListener

java.lang.Object
  extended by edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.ColorOptionListener
All Implemented Interfaces:
OptionListener<java.awt.Color>
Enclosing class:
ColoringGlyphPainter

private class ColoringGlyphPainter.ColorOptionListener
extends java.lang.Object
implements OptionListener<java.awt.Color>

The OptionListeners for DEFINITIONS COLORs


Constructor Summary
private ColoringGlyphPainter.ColorOptionListener()
           
 
Method Summary
 void optionChanged(OptionEvent<java.awt.Color> oce)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ColoringGlyphPainter.ColorOptionListener

private ColoringGlyphPainter.ColorOptionListener()
Method Detail

optionChanged

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