reload ExplanationManager whenever a new explanation or the preferenc…

…es are opened
protegeproject · May 27, 2024 · feca297 · feca297
1 parent f66e756
commit feca297
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/...ge-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationManager.java b/...ge-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/...c/main/java/org/protege/editor/owl/ui/explanation/ExplanationPreferencesGeneralPanel.java b/...c/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());
 	}