protected void initialiseOWLView() throws Exception { setLayout(new BorderLayout()); list = new OntologyImportsList(getOWLEditorKit()); list.setOntology(getOWLModelManager().getActiveOntology()); listener = new OWLModelManagerListener() { public void handleChange(OWLModelManagerChangeEvent event) { if (event.isType(EventType.ACTIVE_ONTOLOGY_CHANGED) || event.isType(EventType.ONTOLOGY_RELOADED)) { list.setOntology(getOWLModelManager().getActiveOntology()); } } }; getOWLModelManager().addListener(listener); add(new JScrollPane(list)); }
protected void disposeOWLView() { list.dispose(); getOWLModelManager().removeListener(listener); } }
protected void disposeOWLView() { list.dispose(); getOWLModelManager().removeListener(listener); } }
protected void initialiseOWLView() throws Exception { setLayout(new BorderLayout()); list = new OntologyImportsList(getOWLEditorKit()); list.setOntology(getOWLModelManager().getActiveOntology()); listener = new OWLModelManagerListener() { public void handleChange(OWLModelManagerChangeEvent event) { if (event.isType(EventType.ACTIVE_ONTOLOGY_CHANGED) || event.isType(EventType.ONTOLOGY_RELOADED)) { list.setOntology(getOWLModelManager().getActiveOntology()); } } }; getOWLModelManager().addListener(listener); add(new JScrollPane(list)); }
protected void disposeOWLView() { list.dispose(); getOWLModelManager().removeListener(listener); } }
protected void initialiseOWLView() throws Exception { setLayout(new BorderLayout()); list = new OntologyImportsList(getOWLEditorKit()); list.setOntology(getOWLModelManager().getActiveOntology()); listener = event -> { if (event.isType(EventType.ACTIVE_ONTOLOGY_CHANGED) || event.isType(EventType.ONTOLOGY_RELOADED)) { list.setOntology(getOWLModelManager().getActiveOntology()); } }; getOWLModelManager().addListener(listener); add(new JScrollPane(list)); }
protected void disposeOWLView() { list.dispose(); getOWLModelManager().removeListener(listener); } }
protected void initialiseOWLView() throws Exception { setLayout(new BorderLayout()); list = new OntologyImportsList(getOWLEditorKit()); list.setOntology(getOWLModelManager().getActiveOntology()); listener = event -> { if (event.isType(EventType.ACTIVE_ONTOLOGY_CHANGED) || event.isType(EventType.ONTOLOGY_RELOADED)) { list.setOntology(getOWLModelManager().getActiveOntology()); } }; getOWLModelManager().addListener(listener); add(new JScrollPane(list)); }
public void handleChange(OWLModelManagerChangeEvent event) { if (event.isType(EventType.ACTIVE_ONTOLOGY_CHANGED) || event.isType(EventType.ONTOLOGY_RELOADED)) { list.setOntology(getOWLModelManager().getActiveOntology()); } } };
public void handleChange(OWLModelManagerChangeEvent event) { if (event.isType(EventType.ACTIVE_ONTOLOGY_CHANGED) || event.isType(EventType.ONTOLOGY_RELOADED)) { list.setOntology(getOWLModelManager().getActiveOntology()); } } };