diagramgeneralpreferencepage.java

eclipse平台

package dbdesigner.diagram.preferences;

import org.eclipse.gmf.runtime.diagram.ui.preferences.DiagramsPreferencePage;

import dbdesigner.diagram.part.DbdesignerDiagramEditorPlugin;

/**
 * @generated
 */
public class DiagramGeneralPreferencePage extends DiagramsPreferencePage {

	/**
	 * @generated
	 */
	public DiagramGeneralPreferencePage() {
		setPreferenceStore(DbdesignerDiagramEditorPlugin.getInstance()
				.getPreferenceStore());
	}
}