package org.nodeclipse.enide.editors.jade.preferences; import org.eclipse.jface.preference.BooleanFieldEditor; import org.eclipse.jface.preference.ColorFieldEditor; import org.eclipse.jface.preference.FieldEditorPreferencePage; import org.eclipse.jface.preference.IPreferenceStore; import org.eclipse.swt.widgets.Composite; import org.eclipse.ui.IWorkbench; import org.eclipse.ui.IWorkbenchPreferencePage; import org.nodeclipse.enide.editors.jade.Activator; import org.nodeclipse.enide.editors.jade.JadeEditorConstants; /** * @author Paul Verest * @since 0.11 moved from NodePreferencePage */ public class JadePreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage { private ColorFieldEditor colorComment; private ColorFieldEditor colorDoc; private ColorFieldEditor colorKeyword; private ColorFieldEditor colorString; private ColorFieldEditor colorNumber; private ColorFieldEditor colorNormal; private BooleanFieldEditor boldAttributeKeyword; public JadePreferencePage() { super(GRID); IPreferenceStore store = Activator.getDefault().getPreferenceStore(); setPreferenceStore(store); setDescription("Jade Editor Settings"); } @Override public void init(IWorkbench workbench) { } @Override protected void createFieldEditors() { Composite parent = getFieldEditorParent(); colorComment = new ColorFieldEditor(JadeEditorConstants.KEY_COLOR_COMMENT, "Comment color:", parent); addField(colorComment); colorDoc = new ColorFieldEditor(JadeEditorConstants.KEY_COLOR_DOC, "Doc color:", parent); addField(colorDoc); colorKeyword = new ColorFieldEditor(JadeEditorConstants.KEY_COLOR_KEYWORD, "Keyword color:", parent); addField(colorKeyword); boldAttributeKeyword = new BooleanFieldEditor(JadeEditorConstants.KEY_BOLD_KEYWORD, "Bold keywords", parent); addField(boldAttributeKeyword); colorString = new ColorFieldEditor(JadeEditorConstants.KEY_COLOR_STRING, "String color:", parent); addField(colorString); colorNumber = new ColorFieldEditor(JadeEditorConstants.KEY_COLOR_NUMBER, "Number color:", parent); addField(colorNumber); colorNormal = new ColorFieldEditor(JadeEditorConstants.KEY_COLOR_NORMAL, "Normal text color:", parent); addField(colorNormal); } }