package net.certware.argument.language.ui.preferences; import net.certware.argument.language.ui.internal.LActivator; import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.jface.preference.PreferenceConverter; import org.eclipse.swt.graphics.RGB; /** * Class used to initialize default preference values. * @author mrb */ public class OutlinePreferenceInitializer extends AbstractPreferenceInitializer { /* * (non-Javadoc) * @see org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#initializeDefaultPreferences() */ @Override public void initializeDefaultPreferences() { IPreferenceStore store = LActivator.getInstance().getPreferenceStore(); String defaultFont = LActivator.getInstance().getWorkbench().getDisplay().getSystemFont().toString(); // outline page PreferenceConverter.setDefault(store, PreferenceConstants.P_SET_EXPRESSION_TEXT_COLOR, new RGB(0,102,204)); // blue store.setDefault(PreferenceConstants.P_SET_EXPRESSION_TEXT_FONT,defaultFont); PreferenceConverter.setDefault(store, PreferenceConstants.P_TYPE_DECLARATION_TEXT_COLOR, new RGB(153,0,153)); // purple store.setDefault(PreferenceConstants.P_TYPE_DECLARATION_TEXT_FONT, defaultFont); PreferenceConverter.setDefault(store, PreferenceConstants.P_CONSTANT_DECLARATION_TEXT_COLOR, new RGB(153,0,76)); // burgundy store.setDefault(PreferenceConstants.P_CONSTANT_DECLARATION_TEXT_FONT, defaultFont); PreferenceConverter.setDefault(store, PreferenceConstants.P_MAYBE_TEXT_COLOR, new RGB(32,32,32)); // gray store.setDefault(PreferenceConstants.P_MAYBE_TEXT_FONT, defaultFont); PreferenceConverter.setDefault(store, PreferenceConstants.P_RULE_TEXT_COLOR, new RGB(32,32,32)); // gray store.setDefault(PreferenceConstants.P_RULE_TEXT_FONT, defaultFont); PreferenceConverter.setDefault(store, PreferenceConstants.P_CONDITIONAL_TEXT_COLOR, new RGB(255,128,0)); // orange store.setDefault(PreferenceConstants.P_CONDITIONAL_TEXT_FONT, defaultFont); PreferenceConverter.setDefault(store, PreferenceConstants.P_CONSTRAINT_TEXT_COLOR, new RGB(255,128,0)); // orange store.setDefault(PreferenceConstants.P_CONSTRAINT_TEXT_FONT, defaultFont); // main page store.setDefault(PreferenceConstants.P_OUTLINE_LEVEL, 3); } }