de.uka.ilkd.key.gui.configuration

Class ConfigChangeAdapter

java.lang.Object

de.uka.ilkd.key.gui.configuration.ConfigChangeAdapter

All Implemented Interfaces:

ConfigChangeListener

public class ConfigChangeAdapter
extends java.lang.Object
implements ConfigChangeListener

Field Summary

Fields

Modifier and Type	Field and Description
private javax.swing.JComponent	compRef

Constructor Summary

Constructors

Constructor and Description
ConfigChangeAdapter(javax.swing.JComponent comp)

Method Summary

Modifier and Type	Method and Description
void	configChanged(ConfigChangeEvent e) focused node has changed

Methods inherited from class java.lang.Object

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

Field Detail

compRef

private final javax.swing.JComponent compRef

Constructor Detail

ConfigChangeAdapter

public ConfigChangeAdapter(javax.swing.JComponent comp)

Method Detail

configChanged

public void configChanged(ConfigChangeEvent e)

Description copied from interface: ConfigChangeListener

focused node has changed

Specified by:

configChanged in interface ConfigChangeListener