DiagramRulersAndGridPreferencePage.java

package org.eclipse.uml2.diagram.timing.preferences;

import org.eclipse.gmf.runtime.diagram.ui.preferences.RulerGridPreferencePage;
import org.eclipse.uml2.diagram.timing.part.TimingDDiagramEditorPlugin;

/**
 * @generated
 */

public class DiagramRulersAndGridPreferencePage extends RulerGridPreferencePage {

	/**
	 * @generated
	 */
	public DiagramRulersAndGridPreferencePage() {
		setPreferenceStore(TimingDDiagramEditorPlugin.getInstance().getPreferenceStore());
	}
}