public void dispose() { // Save our workspace! super.dispose(); owlComponentFactory.dispose(); getOWLModelManager().removeListener(owlModelManagerListener); getOWLModelManager().removeOntologyChangeListener(listener); }
public void dispose() { // Save our workspace! super.dispose(); owlComponentFactory.dispose(); getOWLModelManager().removeListener(owlModelManagerListener); getOWLModelManager().removeOntologyChangeListener(listener); }
public void dispose() { // Save our workspace! super.dispose(); owlComponentFactory.dispose(); ProtegeApplication.getLogManager().removeErrorLogListener(errorLogListener); getOWLModelManager().removeListener(owlModelManagerListener); getOWLModelManager().removeOntologyChangeListener(listener); }
public void dispose() { // Save our workspace! super.dispose(); owlComponentFactory.dispose(); repoStatusPresenter.dispose(); ProtegeApplication.getLogManager().removeErrorLogListener(logStatusLabel); getOWLModelManager().removeListener(owlModelManagerListener); getOWLModelManager().removeOntologyChangeListener(listener); }