/*
 * PininoEventListener.java
 *
 * Created on November 13, 2002, 9:48 PM
 */

/**
 *
 * @author  gustavo
 */
public interface PininoEventListener extends  java.util.EventListener {
    
    public void manejar(PininoEvent evt) ;
    
}