class ProofTreeView.GUITreeSelectionListener
extends java.lang.Object
implements javax.swing.event.TreeSelectionListener, java.io.Serializable
Modifier and Type | Field and Description |
---|---|
boolean |
ignoreChange |
private static long |
serialVersionUID |
Constructor and Description |
---|
GUITreeSelectionListener() |
Modifier and Type | Method and Description |
---|---|
void |
valueChanged(javax.swing.event.TreeSelectionEvent e) |
private static final long serialVersionUID
public boolean ignoreChange