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