DiagramAppearancePreferencePage.java

package org.eclipse.gmf.tooling.examples.pins.diagram.preferences;

import org.eclipse.gmf.runtime.diagram.ui.preferences.AppearancePreferencePage;
import org.eclipse.gmf.tooling.examples.pins.diagram.part.PinsDiagramEditorPlugin;

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

	/**
	* @generated
	*/
	public DiagramAppearancePreferencePage() {
		setPreferenceStore(PinsDiagramEditorPlugin.getInstance().getPreferenceStore());
	}
}