class ProofTreeView.GUITreeSelectionListener extends Object implements TreeSelectionListener, Serializable
Modifier and Type | Field and Description |
---|---|
boolean |
ignoreChange |
private static long |
serialVersionUID |
Constructor and Description |
---|
ProofTreeView.GUITreeSelectionListener() |
private static final long serialVersionUID
public boolean ignoreChange
public void valueChanged(TreeSelectionEvent e)
valueChanged
in interface TreeSelectionListener