package org.eclipse.uml2.diagram.profile.preferences; | |
import org.eclipse.gmf.runtime.diagram.ui.preferences.ConnectionsPreferencePage; | |
import org.eclipse.uml2.diagram.profile.part.UMLDiagramEditorPlugin; | |
/** | |
* @generated | |
*/ | |
public class DiagramConnectionsPreferencePage extends ConnectionsPreferencePage { | |
/** | |
* @generated | |
*/ | |
public DiagramConnectionsPreferencePage() { | |
setPreferenceStore(UMLDiagramEditorPlugin.getInstance().getPreferenceStore()); | |
} | |
} |