package jebl.gui.trees.treeviewer_dev;

/**
 * @author Andrew Rambaut
 * @version $Id: TreePaneListener.java 536 2006-11-21 16:10:24Z rambaut $
 */
public interface TreePaneListener {

	    void treePaneSettingsChanged();
}
