DiagramAppearancePreferencePage.java

/*
 * 
 */
package stateAnalysis.diagram.preferences;

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

/**
 * @generated
 */
public class DiagramAppearancePreferencePage extends AppearancePreferencePage {

	/**
	 * @generated
	 */
	public DiagramAppearancePreferencePage() {
		setPreferenceStore(stateAnalysis.diagram.part.StateAnalysisDiagramEditorPlugin
				.getInstance().getPreferenceStore());
	}
}