edu.rice.cs.drjava.config
Class ConfigOptionListeners.PlasticThemeListener

java.lang.Object
  edu.rice.cs.drjava.config.ConfigOptionListeners.PlasticThemeListener

All Implemented Interfaces:

OptionListener<String>

Enclosing class:

ConfigOptionListeners

public static class ConfigOptionListeners.PlasticThemeListener
extends Object
implements OptionListener<String>

Field Summary

protected JFrame

_parent

Constructor Summary

ConfigOptionListeners.PlasticThemeListener(JFrame parent)

Method Summary

void	optionChanged(OptionEvent<String> oe)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_parent

protected JFrame _parent

Constructor Detail

ConfigOptionListeners.PlasticThemeListener

public ConfigOptionListeners.PlasticThemeListener(JFrame parent)

Method Detail

optionChanged

public void optionChanged(OptionEvent<String> oe)

Specified by:

optionChanged in interface OptionListener<String>