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); }
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); } }