package de.unisiegen.gtitool.core.entities.listener;
import java.util.EventListener;
import de.unisiegen.gtitool.core.parser.style.PrettyString;
/**
* The listener interface for receiving {@link PrettyString} changes.
*
* @author Christian Fehler
* @version $Id: PrettyStringChangedListener.java 1372 2008-10-30 08:36:20Z
* fehler $
*/
public interface PrettyStringChangedListener extends EventListener
{
/**
* Invoked when the {@link PrettyString} changed.
*/
public void prettyStringChanged ();
}