edu.rice.cs.drjava.ui
Class ErrorPanel.ErrorListPane.BackgroundColorListener

java.lang.Object
  edu.rice.cs.drjava.ui.ErrorPanel.ErrorListPane.BackgroundColorListener

All Implemented Interfaces:

OptionListener<Color>

Enclosing class:

ErrorPanel.ErrorListPane

private class ErrorPanel.ErrorListPane.BackgroundColorListener
extends Object
implements OptionListener<Color>

The OptionListener for compiler DEFINITIONS_BACKGROUND_COLOR.

Constructor Summary

private

ErrorPanel.ErrorListPane.BackgroundColorListener()

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

Constructor Detail

ErrorPanel.ErrorListPane.BackgroundColorListener

private ErrorPanel.ErrorListPane.BackgroundColorListener()

Method Detail

optionChanged

public void optionChanged(OptionEvent<Color> oce)

Specified by:

optionChanged in interface OptionListener<Color>