class ProofTreeView.GUITreeSelectionListener extends Object implements TreeSelectionListener, 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(TreeSelectionEvent e) |
private static final long serialVersionUID
public boolean ignoreChange
public void valueChanged(TreeSelectionEvent e)
valueChanged
in interface TreeSelectionListener