Esempio n. 1
0
 /** 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();
  }
Esempio n. 3
0
 public static boolean getBoolean(String key) {
   boolean result = FoldingPlugin.getPrefs().getBoolean(key);
   return result;
 }
Esempio n. 4
0
 public static Images getImages() {
   if (plugin.images == null) {
     plugin.getImageRegistry();
   }
   return plugin.images;
 }
Esempio n. 5
0
 public static void logError(Throwable t, String message) {
   FoldingPlugin.getDefault().getLog().log(new Status(Status.ERROR, PLUGIN_ID, 0, message, t));
 }