/*
*
*/
package stateAnalysis.diagram.preferences;
import org.eclipse.gmf.runtime.diagram.ui.preferences.RulerGridPreferencePage;
/**
* @generated
*/
public class DiagramRulersAndGridPreferencePage extends RulerGridPreferencePage {
/**
* @generated
*/
public DiagramRulersAndGridPreferencePage() {
setPreferenceStore(stateAnalysis.diagram.part.StateAnalysisDiagramEditorPlugin
.getInstance().getPreferenceStore());
}
}