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 eaa508423..e5408fa9f 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 @@ -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/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 51ace7b19..59a134a55 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,12 +31,12 @@ 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 @@ -44,7 +44,6 @@ public void applyChanges() { ExplanationPreferences prefs = ExplanationPreferences.create(); saveTo(prefs); prefs.save(); - getOWLEditorKit().getModelManager().getExplanationManager().reload(); } private void loadFrom(ExplanationPreferences prefs) {