package org.eclipse.gmf.tooling.examples.pins.diagram.preferences;
import org.eclipse.gmf.runtime.diagram.ui.preferences.ConnectionsPreferencePage;
import org.eclipse.gmf.tooling.examples.pins.diagram.part.PinsDiagramEditorPlugin;
/**
* @generated
*/
public class DiagramConnectionsPreferencePage extends ConnectionsPreferencePage {
/**
* @generated
*/
public DiagramConnectionsPreferencePage() {
setPreferenceStore(PinsDiagramEditorPlugin.getInstance().getPreferenceStore());
}
}