1 17 package org.apache.forrest.eclipse.preference; 18 19 import org.apache.forrest.eclipse.ForrestPlugin; 20 import org.eclipse.jface.preference.DirectoryFieldEditor; 21 import org.eclipse.jface.preference.FieldEditorPreferencePage; 22 import org.eclipse.ui.IWorkbench; 23 import org.eclipse.ui.IWorkbenchPreferencePage; 24 25 35 36 public class ForrestPreferences extends FieldEditorPreferencePage implements 37 IWorkbenchPreferencePage { 38 public static final String FORREST_HOME = "FORREST_HOME"; 39 40 41 public ForrestPreferences() { 42 super(GRID); 43 setPreferenceStore(ForrestPlugin.getDefault().getPreferenceStore()); 44 setDescription("Configuration for Forrest"); 45 } 46 47 52 public void createFieldEditors() { 53 addField(new DirectoryFieldEditor(FORREST_HOME, "&Forrest Home:", 54 getFieldEditorParent())); 55 56 } 57 58 public void init(IWorkbench workbench) { 59 setPreferenceStore(ForrestPlugin.getDefault().getPreferenceStore()); 60 } 61 62 } 63 | Popular Tags |