2425262728293031323334
private OWLModel model; public OWLKBAbstractGraphModel(OWLModel model) { this.model = model; OWLVizOptions.getInstance().addOptionsChangedListener(new OptionsChangedListener() { public void optionsChanged() { fireModelChangedEvent(); } }); }