1 11 12 package org.eclipse.jdt.apt.ui.internal.preferences; 13 14 import org.eclipse.jdt.apt.ui.internal.AptUIPlugin; 15 import org.eclipse.jdt.apt.ui.internal.util.IAptHelpContextIds; 16 import org.eclipse.swt.widgets.Composite; 17 import org.eclipse.ui.preferences.IWorkbenchPreferenceContainer; 18 19 22 public class FactoryPathPreferencePage extends BasePreferencePage { 23 24 private static final String PREF_ID= "org.eclipse.jdt.apt.ui.preferences.factoryPathPreferences"; private static final String PROP_ID= "org.eclipse.jdt.apt.ui.propertyPages.factoryPathPreferences"; 27 30 public FactoryPathPreferencePage() { 31 setPreferenceStore(AptUIPlugin.getDefault().getPreferenceStore()); 32 34 setTitle(Messages.FactoryPathPreferencePage_preferences); 36 } 37 38 41 public void createControl(Composite parent) { 42 IWorkbenchPreferenceContainer container= (IWorkbenchPreferenceContainer) getContainer(); 43 setConfigurationBlock(new FactoryPathConfigurationBlock(getNewStatusChangedListener(), getProject(), container)); 44 45 super.createControl(parent); 46 } 47 48 51 protected String getPreferencePageID() { 52 return PREF_ID; 53 } 54 55 58 protected String getPropertyPageID() { 59 return PROP_ID; 60 } 61 62 @Override 63 protected String getContextHelpId() { 64 return IAptHelpContextIds.FACTORYPATH_PREFERENCE_PAGE; 65 } 66 67 } 68 | Popular Tags |