From feca29756e170a30ee3767bdb988c52ae0aca6b1 Mon Sep 17 00:00:00 2001 From: Stefan Borgwardt Date: Mon, 27 May 2024 11:09:20 +0200 Subject: [PATCH] reload ExplanationManager whenever a new explanation or the preferences are opened --- .../protege/editor/owl/ui/explanation/ExplanationManager.java | 2 +- .../owl/ui/explanation/ExplanationPreferencesGeneralPanel.java | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationManager.java b/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationManager.java index 452069c9b..eaa508423 100644 --- a/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationManager.java +++ b/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationManager.java @@ -9,7 +9,6 @@ import java.util.Collection; import java.util.HashSet; import java.util.Map; -import java.util.Set; import java.util.TreeMap; import javax.swing.JDialog; @@ -122,6 +121,7 @@ public boolean hasExplanation(OWLAxiom axiom) { } public void handleExplain(Frame owner, OWLAxiom axiom) { + reload(); final ExplanationDialog explanation = new ExplanationDialog(this, axiom); openedExplanations.add(explanation); JOptionPane op = new JOptionPane(explanation, JOptionPane.PLAIN_MESSAGE, JOptionPane.DEFAULT_OPTION); diff --git a/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationPreferencesGeneralPanel.java b/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationPreferencesGeneralPanel.java index 0e3f30b00..51ace7b19 100644 --- a/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationPreferencesGeneralPanel.java +++ b/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationPreferencesGeneralPanel.java @@ -31,6 +31,7 @@ public void initialise() throws Exception { add(panel, BorderLayout.NORTH); addDefaultExplanationServiceComponent(panel); addInstalledExplanationServicesComponent(panel); + getOWLEditorKit().getModelManager().getExplanationManager().reload(); loadFrom(ExplanationPreferences.create().load()); }