package net.certware.argument.gsz.diagram.preferences;
import net.certware.argument.gsz.diagram.part.GszDiagramEditorPlugin;
import org.eclipse.gmf.runtime.diagram.ui.preferences.DiagramsPreferencePage;
/**
* @generated
*/
public class DiagramGeneralPreferencePage extends DiagramsPreferencePage {
/**
* @generated
*/
public DiagramGeneralPreferencePage() {
setPreferenceStore(GszDiagramEditorPlugin.getInstance()
.getPreferenceStore());
}
}