01: package newprocess.diagram.preferences;
02:
03: import newprocess.diagram.part.New_processDiagramEditorPlugin;
04:
05: import org.eclipse.gmf.runtime.diagram.ui.preferences.RulerGridPreferencePage;
06:
07: /**
08: * @generated
09: */
10: public class DiagramRulersAndGridPreferencePage extends
11: RulerGridPreferencePage {
12:
13: /**
14: * @generated
15: */
16: public DiagramRulersAndGridPreferencePage() {
17: setPreferenceStore(New_processDiagramEditorPlugin.getInstance()
18: .getPreferenceStore());
19: }
20: }
|