package org.lamport.tla.toolbox.tool.tlc.ui.util;

/**
 * Allows ignoring
 * 
 * @author Simon Zambrovski
 * @version $Id$ 
 */
public interface IgnoringListener
{
    public void setIgnoreInput(boolean ignoreInputChange);
}
