/**
*
*/
package org.squidy.designer;
import java.awt.Color;
/**
* <code>DesignerPreferences</code>.
*
* <pre>
* Date: Aug 9, 2010
* Time: 12:36:26 PM
* </pre>
*
* @author Roman Rädle, <a href="mailto:Roman.Raedle@uni-konstanz.de">Roman.Raedle@uni-konstanz.de</a>, University of Konstanz
* @version $Id: DesignerPreferences.java 772 2011-09-16 15:39:44Z raedle $
* @since 1.5.0
*/
public interface DesignerPreferences {
// Status colors to mark stable and unstable nodes
public static final Color STATUS_STABLE = Color.BLACK;
public static final Color STATUS_UNSTABLE = Color.GRAY;
}