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