| /* | |
| * | |
| */ | |
| package esm.diagram.preferences; | |
| import org.eclipse.gmf.runtime.diagram.ui.preferences.DiagramsPreferencePage; | |
| import esm.diagram.part.EsmDiagramEditorPlugin; | |
| /** | |
| * @generated | |
| */ | |
| public class DiagramGeneralPreferencePage extends DiagramsPreferencePage { | |
| /** | |
| * @generated | |
| */ | |
| public DiagramGeneralPreferencePage() { | |
| setPreferenceStore(EsmDiagramEditorPlugin.getInstance() | |
| .getPreferenceStore()); | |
| } | |
| } |