1 24 package org.objectweb.dolphin.preferences; 25 26 import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer; 27 import org.eclipse.jface.preference.IPreferenceStore; 28 29 import org.objectweb.dolphin.DolphinPlugin; 30 import org.objectweb.dolphin.resources.DolphinResourcesManagment; 31 32 35 public class PreferenceInitializer extends AbstractPreferenceInitializer { 36 37 40 public void initializeDefaultPreferences() { 41 IPreferenceStore store = DolphinPlugin.getDefault() 42 .getPreferenceStore(); 43 store.setDefault(PreferenceConstants.P_BOOLEAN, true); 44 store.setDefault(PreferenceConstants.P_CHOICE, "choice2"); 45 store.setDefault(PreferenceConstants.P_STRING, 46 "Default value"); 47 store.setDefault(PreferenceConstants.P_WORKSPACE,DolphinResourcesManagment.getWorkspace()); 48 } 49 50 } 51 | Popular Tags |