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