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

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