package figtree.treeviewer;

/**
 * @author Andrew Rambaut
 * @version $Id: TreeSelectionListener.java 294 2006-04-14 10:28:11Z rambaut $
 */
public interface TreeSelectionListener {

    void selectionChanged();
}
