/**
 * Copyright (c) 2012 committers of YAKINDU and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * Contributors:
 * 	committers of YAKINDU - initial API and implementation
 * 
 */
package org.yakindu.sct.ui.editor.preferences;

import org.eclipse.gmf.runtime.diagram.ui.preferences.IPreferenceConstants;

/**
 * 
 * @author andreas muelder - Initial contribution and API
 * 
 */
public interface StatechartPreferenceConstants extends IPreferenceConstants {

	String PREF_STATE_BACKGROUND = "Appearance.state.background";
	String PREF_STATE_LINE = "Appearance.state.line";
	String PREF_REGION_BACKGROUND = "Appearance.region.background";
	String PREF_REGION_LINE = "Appearance.region.line";
	String PREF_PRIORITY_LABELS = "Appearance.transition.priority";
	String PREF_LIVE_VALIDATION = "Appearance.live.validation";
}
