| /* | |
| * | |
| */ | |
| package people.diagram.preferences; | |
| import org.eclipse.gmf.runtime.diagram.ui.preferences.PrintingPreferencePage; | |
| import people.diagram.part.PeopleDiagramEditorPlugin; | |
| /** | |
| * @generated | |
| */ | |
| public class DiagramPrintingPreferencePage extends PrintingPreferencePage { | |
| /** | |
| * @generated | |
| */ | |
| public DiagramPrintingPreferencePage() { | |
| setPreferenceStore(PeopleDiagramEditorPlugin.getInstance() | |
| .getPreferenceStore()); | |
| } | |
| } |
