public void addSelectionListener(ChangeListener listener) {
viewComponent.addChangeListener(listener);
}
public void removeSelectionListener(ChangeListener listener) {
viewComponent.removeChangeListener(listener);
}
public void dispose() {
viewComponent.dispose();
}
public Set<OWLIndividual> getSelectedObjects() {
return viewComponent.getSelectedIndividuals();
}
public OWLIndividual getSelectedObject() {
return viewComponent.getSelectedIndividual();
}
public void setSelection(Set<OWLIndividual> entities) {
viewComponent.setSelectedIndividuals(entities);
}
public void setSelection(OWLIndividual ind) {
if (viewComponent.getView() != null) {
viewComponent.getView().setPinned(false);
}
viewComponent.setSelectedIndividual(ind);
}
