/** Returns the string from the plugin's resource bundle, or 'key' if not found. */
public static String getMessage(String key) {
ResourceBundle bundle = FoldingPlugin.getDefault().getResourceBundle();
try {
return bundle.getString(key);
} catch (MissingResourceException e) {
return key;
}
}
public UserDefinedStrategy(RegionCalculationStrategy wrapped) {
super(wrapped);
helper = new UserDefinedRegionHelper();
settings = FoldingPlugin.getJavaDomain().getUserDefinedSettings();
matchingTags = settings.getNames();
trackers = new Stack();
}
public static boolean getBoolean(String key) {
boolean result = FoldingPlugin.getPrefs().getBoolean(key);
return result;
}
public static Images getImages() {
if (plugin.images == null) {
plugin.getImageRegistry();
}
return plugin.images;
}
public static void logError(Throwable t, String message) {
FoldingPlugin.getDefault().getLog().log(new Status(Status.ERROR, PLUGIN_ID, 0, message, t));
}
