Go to the documentation of this file.00001 package org.ros.model.ros.diagram.preferences;
00002
00003 import org.eclipse.gmf.runtime.diagram.ui.preferences.AppearancePreferencePage;
00004 import org.eclipse.gmf.runtime.diagram.ui.preferences.IPreferenceConstants;
00005 import org.eclipse.jface.preference.IPreferenceStore;
00006 import org.eclipse.jface.preference.PreferenceConverter;
00007 import org.eclipse.swt.SWT;
00008 import org.eclipse.swt.graphics.FontData;
00009 import org.ros.model.ros.diagram.part.RosDiagramEditorPlugin;
00010
00014 public class DiagramAppearancePreferencePage extends AppearancePreferencePage {
00015
00019 public DiagramAppearancePreferencePage() {
00020 IPreferenceStore store = RosDiagramEditorPlugin.getInstance()
00021 .getPreferenceStore();
00022 setPreferenceStore(store);
00023 FontData defaultFont = new FontData("Droid", 7, SWT.NONE);
00024 PreferenceConverter.setDefault(store,
00025 IPreferenceConstants.PREF_DEFAULT_FONT, defaultFont);
00026 }
00027 }