Don't hide ontology toolbox when unregistering ontology tool