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