/* | |
* | |
*/ | |
package filesystem.diagram.preferences; | |
import org.eclipse.gmf.runtime.diagram.ui.preferences.RulerGridPreferencePage; | |
import filesystem.diagram.part.FilesystemDiagramEditorPlugin; | |
/** | |
* @generated | |
*/ | |
public class DiagramRulersAndGridPreferencePage extends RulerGridPreferencePage { | |
/** | |
* @generated | |
*/ | |
public DiagramRulersAndGridPreferencePage() { | |
setPreferenceStore(FilesystemDiagramEditorPlugin.getInstance() | |
.getPreferenceStore()); | |
} | |
} |