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