public void remove(int index) {
    if (activeEditors.size() == 0)
      return; // it can get a bit excitable about removing element 0 ...

    PluggableEditor ed = (PluggableEditor) activeEditors.remove(index);
    ed.unload();
    super.remove(index);
  }
예제 #2
0
 public void unlink(oncotcap.datalayer.Persistible relatedPersistible) {
   if (relatedPersistible instanceof Keyword) {
     // 						System.out.println("removing the keyword p/c" + relatedPersistible);
     if (children != null) children.remove(relatedPersistible);
     if (parentKeywords != null) parentKeywords.remove(relatedPersistible);
   } else {
     // 					System.out.println("removing the keyword described instance"
     // 															 + relatedPersistible
     // 															 + " from list " + describedInstances);
     if (describedInstances != null) describedInstances.remove(relatedPersistible);
   }
 }