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