/** * */ 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; }