From 420fe801d585c75b844d7edc3f923773d1a09dd9 Mon Sep 17 00:00:00 2001 From: Julian Mendez Date: Thu, 28 Dec 2023 11:06:09 +0100 Subject: [PATCH] Make small change --- .../main/java/de/tudresden/inf/lat/born/main/BornStarter.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/born-gui/src/main/java/de/tudresden/inf/lat/born/main/BornStarter.java b/born-gui/src/main/java/de/tudresden/inf/lat/born/main/BornStarter.java index 7edfde0d..0ed544f5 100644 --- a/born-gui/src/main/java/de/tudresden/inf/lat/born/main/BornStarter.java +++ b/born-gui/src/main/java/de/tudresden/inf/lat/born/main/BornStarter.java @@ -31,7 +31,9 @@ public class BornStarter implements OWLOntologyChangeListener, OWLOntologyLoader */ public BornStarter(OWLOntologyManager manager) { this.ontologyManager = Objects.requireNonNull(manager, "Ontology manager must not be null"); - this.panel = new BornController(new BornPanel(new BornModelImpl()), this.ontologyManager); + BornModelImpl bornModelImpl = new BornModelImpl(); + BornPanel bornPanel = new BornPanel(bornModelImpl); + this.panel = new BornController(bornPanel, this.ontologyManager); getOWLOntologyManager().addOntologyLoaderListener(this); getOWLOntologyManager().addOntologyChangeListener(this); }