private void handleModelManagerChangeEvent(OWLModelManagerChangeEvent event) { if (isUpdateTriggeringEvent(event)) { updateView(); } }
private void handleModelManagerChangeEvent(OWLModelManagerChangeEvent event) { if (isUpdateTriggeringEvent(event)) { updateView(); } }
private void handleModelManagerChangeEvent(OWLModelManagerChangeEvent event) { if (isUpdateTriggeringEvent(event)) { updateView(); } }