DiagramPrintingPreferencePage.java

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());
	}
}