/**
* Get a String preference value from the preference service.
*
* @param key the preference key
* @return the value or null if not found
*/
protected static String getStringPreference(String key) {
return MulePlugin.getDefault().getPreferenceStore().getString(key);
}
/**
* Set an integer preference value to the preference service.
*
* @param key the preference key
* @param value the new value for the preference
*/
protected static void setIntPreference(String key, int value) {
MulePlugin.getDefault().getPreferenceStore().setValue(key, value);
}
/**
* Clear a string preference value in instance scope.
*
* @param key the preference key
*/
protected static void clearPreferenceValue(String key) {
MulePlugin.getDefault().getPreferenceStore().setToDefault(key);
}
/**
* Get an integer preference value from the preference service.
*
* @param key the preference key
* @param defaultValue the fallback value
* @return the value or 0 if not found
*/
protected static int getIntPreference(String key) {
return MulePlugin.getDefault().getPreferenceStore().getInt(key);
}
public MulePreferencePage() {
super(GRID);
setPreferenceStore(MulePlugin.getDefault().getPreferenceStore());
setDescription("Sets the preferences for Mule Universal Message Objects");
}
