package figtree.treeviewer;

/**
 * @author Andrew Rambaut
 * @version $Id: TreePaneListener.java 780 2007-09-09 09:46:01Z rambaut $
 */
public interface TreePaneListener {

	void treePaneSettingsChanged();
}
