DiagramGeneralPreferencePage.java

/*
 * Copyright (C) Yutaka Matsuno 2010-2012 All rights reserved.
 */
// AUTO_GENERATED:START
package net.dependableos.dcase.diagram.preferences;


import net.dependableos.dcase.diagram.part.DcaseDiagramEditorPlugin;

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

/**
 * @generated
 */
public class DiagramGeneralPreferencePage extends DiagramsPreferencePage {

    /**
     * @generated
     */
    public DiagramGeneralPreferencePage() {
        setPreferenceStore(DcaseDiagramEditorPlugin.getInstance()
                .getPreferenceStore());
    }
}