package net.certware.argument.language.ui.preferences;
//import net.certware.core.ui.CertWareUI;
import net.certware.argument.language.ui.LUiModule;
import net.certware.argument.language.ui.internal.LActivator;
import org.eclipse.jface.preference.ColorFieldEditor;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.jface.preference.FontFieldEditor;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;
/**
* Preference page for outline view preference processing.
* @author mrb
*/
public class OutlinePreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage {
/**
* Constructor creates the grid and description.
* Creates image descriptor from plugin's image registry.
*/
public OutlinePreferencePage() {
super(GRID);
setPreferenceStore(LActivator.getInstance().getPreferenceStore());
setDescription(Messages.OutlinePreferencePage_0);
this.setImageDescriptor( LActivator.getInstance().getImageRegistry().getDescriptor(LUiModule.L_CERTWARE_IMAGE));
}
/**
* Creates the field editors. Field editors are abstractions of
* the common GUI blocks needed to manipulate various types
* of preferences. Each field editor knows how to save and
* restore itself.
*/
public void createFieldEditors() {
addField(new ColorFieldEditor(PreferenceConstants.P_SET_EXPRESSION_TEXT_COLOR,
Messages.OutlinePreferencePage_1, getFieldEditorParent()));
addField(new FontFieldEditor(PreferenceConstants.P_SET_EXPRESSION_TEXT_FONT,
Messages.OutlinePreferencePage_2, getFieldEditorParent()));
addField(new ColorFieldEditor(PreferenceConstants.P_TYPE_DECLARATION_TEXT_COLOR,
Messages.OutlinePreferencePage_3, getFieldEditorParent()));
addField(new FontFieldEditor(PreferenceConstants.P_TYPE_DECLARATION_TEXT_FONT,
Messages.OutlinePreferencePage_4, getFieldEditorParent()));
addField(new ColorFieldEditor(PreferenceConstants.P_CONSTANT_DECLARATION_TEXT_COLOR,
Messages.OutlinePreferencePage_5, getFieldEditorParent()));
addField(new FontFieldEditor(PreferenceConstants.P_CONSTANT_DECLARATION_TEXT_FONT,
Messages.OutlinePreferencePage_6, getFieldEditorParent()));
addField(new ColorFieldEditor(PreferenceConstants.P_RULE_TEXT_COLOR,
Messages.OutlinePreferencePage_7, getFieldEditorParent()));
addField(new FontFieldEditor(PreferenceConstants.P_RULE_TEXT_FONT,
Messages.OutlinePreferencePage_8, getFieldEditorParent()));
addField(new ColorFieldEditor(PreferenceConstants.P_MAYBE_TEXT_COLOR,
Messages.OutlinePreferencePage_11, getFieldEditorParent()));
addField(new FontFieldEditor(PreferenceConstants.P_MAYBE_TEXT_FONT,
Messages.OutlinePreferencePage_12, getFieldEditorParent()));
addField(new ColorFieldEditor(PreferenceConstants.P_CONDITIONAL_TEXT_COLOR,
Messages.OutlinePreferencePage_9, getFieldEditorParent()));
addField(new FontFieldEditor(PreferenceConstants.P_CONDITIONAL_TEXT_FONT,
Messages.OutlinePreferencePage_10, getFieldEditorParent()));
addField(new ColorFieldEditor(PreferenceConstants.P_CONSTRAINT_TEXT_COLOR,
Messages.OutlinePreferencePage_13, getFieldEditorParent()));
addField(new FontFieldEditor(PreferenceConstants.P_CONSTRAINT_TEXT_FONT,
Messages.OutlinePreferencePage_14, getFieldEditorParent()));
}
/* (non-Javadoc)
* @see org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench)
*/
public void init(IWorkbench workbench) {
setPreferenceStore(LActivator.getInstance().getPreferenceStore());
}
}