edu.rice.cs.drjava.config
Class ConfigOptionListeners.RequiresDrJavaRestartListener<T>

java.lang.Object
  edu.rice.cs.drjava.config.ConfigOptionListeners.RequiresDrJavaRestartListener<T>

All Implemented Interfaces:

OptionListener<T>

Enclosing class:

ConfigOptionListeners

public static class ConfigOptionListeners.RequiresDrJavaRestartListener<T>
extends Object
implements OptionListener<T>

Field Summary

protected String	_description
protected JFrame	_parent

Constructor Summary

ConfigOptionListeners.RequiresDrJavaRestartListener(JFrame parent, String description)

Method Summary

void	optionChanged(OptionEvent<T> 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

_description

protected String _description

Constructor Detail

ConfigOptionListeners.RequiresDrJavaRestartListener

public ConfigOptionListeners.RequiresDrJavaRestartListener(JFrame parent,
                                                           String description)

Method Detail

optionChanged

public void optionChanged(OptionEvent<T> oe)

Specified by:

optionChanged in interface OptionListener<T>