package org.eclipse.uml2.diagram.timing.preferences;
import org.eclipse.gmf.runtime.diagram.ui.preferences.DiagramsPreferencePage;
import org.eclipse.uml2.diagram.timing.part.TimingDDiagramEditorPlugin;
/**
* @generated
*/
public class DiagramGeneralPreferencePage extends DiagramsPreferencePage {
/**
* @generated
*/
public DiagramGeneralPreferencePage() {
setPreferenceStore(TimingDDiagramEditorPlugin.getInstance().getPreferenceStore());
}
}