Method pluginUnloaded

src/main/java/gate/gui/MainFrame.java:2174–2196

(Plugin plugin)

  }

  @Override
  public void pluginUnloaded(Plugin plugin) {
    try {
      String classloaderID = plugin.getBaseURI().toString();

      Iterator<String> it = iconByName.keySet().iterator();
      while(it.hasNext()) {
        String name = it.next();
        Icon icon = iconByName.get(name);

        ClassLoader cl = icon.getClass().getClassLoader();

        if(cl instanceof GateClassLoader) {
          if(((GateClassLoader)cl).getID().equals(classloaderID)) {
            it.remove();
          }
        }
      }
    } catch(URISyntaxException e) {
      // this should be impossible!
      e.printStackTrace();
    }
  }

  /**
   * Overridden so we can exit when window is closed