SelectionChangeListener.java

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package csplugins.id.mapping.ui.checktree;

/**
 *
 * @author gjj
 */
public interface SelectionChangeListener extends java.util.EventListener {
    public void selectionChanged(SelectionChangeEvent e);
}