reload ExplanationManager whenever the preference dialog is closed

protegeproject · May 27, 2024 · 76c63ad · 76c63ad
1 parent feca297
commit 76c63ad
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
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
@@ -121,7 +121,6 @@ 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,20 +31,19 @@ public void initialise() throws Exception {
 		add(panel, BorderLayout.NORTH);
 		addDefaultExplanationServiceComponent(panel);
 		addInstalledExplanationServicesComponent(panel);
-		getOWLEditorKit().getModelManager().getExplanationManager().reload();
 		loadFrom(ExplanationPreferences.create().load());
 	}
 
 	@Override
 	public void dispose() throws Exception {
+		getOWLEditorKit().getModelManager().getExplanationManager().reload();
 	}
 
 	@Override
 	public void applyChanges() {
 		ExplanationPreferences prefs = ExplanationPreferences.create();
 		saveTo(prefs);
 		prefs.save();
-		getOWLEditorKit().getModelManager().getExplanationManager().reload();
 	}
 
 	private void loadFrom(ExplanationPreferences prefs) {