return TaxeditorStorePlugin.getDefault().getPreferenceStore();
}
- static String prefKey(String name) {
+ private static String prefKey(String name) {
return name + "_"+ ((CdmRemoteSource)CdmStore.getActiveCdmSource()).toString();
}
+ /**
+ * Returns whether the named preference is known.
+ * @param prefKey the key of the preference
+ * @return <code>true</code> if the preference is known, <code>false</code> otherwise
+ */
+ public static boolean contains(String prefKey){
+ return getPreferenceStore().contains(prefKey(prefKey));
+ }
+
}