Merge pull request #1232 from protegeproject/persist-show-deprecated-…

…entities Add persistence for the "show deprecated entities" option.
protegeproject · Sep 18, 2024 · 4728d66 · 4728d66
2 parents f648a7a + 7b8f0cc
commit 4728d66
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 3 deletions.
diff --git a/...r-owl/src/main/java/org/protege/editor/owl/model/hierarchy/ClassHierarchyPreferences.java b/...r-owl/src/main/java/org/protege/editor/owl/model/hierarchy/ClassHierarchyPreferences.java
@@ -16,6 +16,8 @@ public class ClassHierarchyPreferences {
 
     private static final String DISPLAY_RELATIONSHIPS_KEY = "DISPLAY_RELATIONSHIPS";
 
+    private static final String DISPLAY_DEPRECATED_ENTITIES_KEY = "DISPLAY_DEPRECATED_ENTITIES";
+
     private static Preferences getPreferences() {
         return PreferencesManager.getInstance().getApplicationPreferences(CLASS_HIERARCHY_PREFERENCES);
     }
@@ -31,4 +33,12 @@ public boolean isDisplayRelationships() {
     public void setDisplayRelationships(boolean displayRelationships) {
         getPreferences().putBoolean(DISPLAY_RELATIONSHIPS_KEY, displayRelationships);
     }
+
+    public boolean isDisplayDeprecatedEntities() {
+        return getPreferences().getBoolean(DISPLAY_DEPRECATED_ENTITIES_KEY, false);
+    }
+
+    public void setDisplayDeprecatedEntities(boolean displayDeprecatedEntities) {
+        getPreferences().putBoolean(DISPLAY_DEPRECATED_ENTITIES_KEY, displayDeprecatedEntities);
+    }
 }
diff --git a/...r-owl/src/main/java/org/protege/editor/owl/ui/action/DisplayDeprecatedEntitiesAction.java b/...r-owl/src/main/java/org/protege/editor/owl/ui/action/DisplayDeprecatedEntitiesAction.java
@@ -1,5 +1,6 @@
 package org.protege.editor.owl.ui.action;
 
+import org.protege.editor.owl.model.hierarchy.ClassHierarchyPreferences;
 import org.protege.editor.owl.ui.view.HasDisplayDeprecatedEntities;
 
 import java.awt.event.ActionEvent;
@@ -13,13 +14,14 @@ public class DisplayDeprecatedEntitiesAction extends ComponentHierarchyAction<Ha
 
     @Override
     protected Class<HasDisplayDeprecatedEntities> initialiseAction() {
-        putValue(SELECTED_KEY, false);
+        putValue(SELECTED_KEY, ClassHierarchyPreferences.get().isDisplayDeprecatedEntities());
         return HasDisplayDeprecatedEntities.class;
     }
 
     @Override
     protected void actionPerformedOnTarget(ActionEvent e, HasDisplayDeprecatedEntities target) {
         boolean value = (boolean) getValue(SELECTED_KEY);
         target.setShowDeprecatedEntities(value);
+        ClassHierarchyPreferences.get().setDisplayDeprecatedEntities(value);
     }
 }
diff --git a/...src/main/java/org/protege/editor/owl/ui/view/AbstractOWLEntityHierarchyViewComponent.java b/...src/main/java/org/protege/editor/owl/ui/view/AbstractOWLEntityHierarchyViewComponent.java
@@ -6,6 +6,7 @@
 import org.protege.editor.core.ui.view.ViewMode;
 import org.protege.editor.core.util.HandlerRegistration;
 import org.protege.editor.owl.model.OWLModelManager;
+import org.protege.editor.owl.model.hierarchy.ClassHierarchyPreferences;
 import org.protege.editor.owl.model.hierarchy.OWLObjectHierarchyProvider;
 import org.protege.editor.owl.ui.OWLObjectComparatorAdapter;
 import org.protege.editor.owl.ui.action.AbstractOWLTreeAction;
@@ -170,8 +171,9 @@ public void mouseReleased(MouseEvent e) {
 
         breadCrumbTrailProviderRegistration = getOWLWorkspace().registerBreadcrumbTrailProvider(this);
 
-        // Don't show deprecated entities by default
-        getHierarchyProvider().setFilter(this::isNotDeprecated);
+        if (!ClassHierarchyPreferences.get().isDisplayDeprecatedEntities()) {
+             getHierarchyProvider().setFilter(this::isNotDeprecated);
+        }
     }
 
     private void scrollSelectedPathToVisibleRect() {