de.uka.ilkd.key.gui.prooftree

Class ProofTreeView.GUITreeSelectionListener

java.lang.Object

de.uka.ilkd.key.gui.prooftree.ProofTreeView.GUITreeSelectionListener

All Implemented Interfaces:

Serializable, EventListener, TreeSelectionListener

Enclosing class:

ProofTreeView

class ProofTreeView.GUITreeSelectionListener
extends Object
implements TreeSelectionListener, Serializable

Field Summary

Fields

Modifier and Type	Field and Description
boolean	ignoreChange
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
GUITreeSelectionListener()

Method Summary

Modifier and Type	Method and Description
void	valueChanged(TreeSelectionEvent e)

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

ignoreChange

public boolean ignoreChange

Constructor Detail

GUITreeSelectionListener

GUITreeSelectionListener()

Method Detail

valueChanged

public void valueChanged(TreeSelectionEvent e)

Specified by:

valueChanged in interface TreeSelectionListener