Hide and show the markers when the priority filter is changed

Author: adangel

net.sourceforge.pmd.eclipse.plugin/src/main/java/net/sourceforge/pmd/eclipse/ui/views/PriorityFilter.java

@@ -13,8 +13,10 @@
 
 import org.eclipse.core.resources.IMarker;
 import org.eclipse.core.runtime.CoreException;
+import org.eclipse.core.runtime.preferences.InstanceScope;
 import org.eclipse.jface.viewers.Viewer;
 import org.eclipse.jface.viewers.ViewerFilter;
+import org.eclipse.ui.preferences.ScopedPreferenceStore;
 
 import net.sourceforge.pmd.RulePriority;
 import net.sourceforge.pmd.eclipse.plugin.PMDPlugin;
@@ -44,6 +46,8 @@ public class PriorityFilter extends ViewerFilter {
 
     private Set<PriorityFilterChangeListener> listeners = new CopyOnWriteArraySet<>();
 
+    private final ScopedPreferenceStore editorsPreferences = new ScopedPreferenceStore(InstanceScope.INSTANCE, "org.eclipse.ui.editors");
+
     /**
      * Constructor
      *
@@ -68,10 +72,13 @@ public final void initialize() {
             @Override
             public void priorityEnabled(RulePriority priority) {
                 saveToPreferenceStore();
+                showMarkers(priority);
             }
+
             @Override
             public void priorityDisabled(RulePriority priority) {
                 saveToPreferenceStore();
+                hideMarkers(priority);
             }
         });
         loadFromPreferenceStore();
@@ -95,6 +102,24 @@ private void loadFromPreferenceStore() {
         }
     }
 
+    private String getMarkerKeyVerticalRuler(RulePriority priority) {
+        return "net.sourceforge.pmd.eclipse.plugin.annotation.prio" + priority.getPriority() + ".verticalruler";
+    }
+
+    private String getMarkerKeyOverviewRuler(RulePriority priority) {
+        return "net.sourceforge.pmd.eclipse.plugin.annotation.prio" + priority.getPriority() + ".overviewruler";
+    }
+
+    private void showMarkers(RulePriority priority) {
+        editorsPreferences.setValue(getMarkerKeyVerticalRuler(priority), true);
+        editorsPreferences.setValue(getMarkerKeyOverviewRuler(priority), true);
+    }
+
+    private void hideMarkers(RulePriority priority) {
+        editorsPreferences.setValue(getMarkerKeyVerticalRuler(priority), false);
+        editorsPreferences.setValue(getMarkerKeyOverviewRuler(priority), false);
+    }
+
     /*
      * @see
      * org.eclipse.jface.viewers.ViewerFilter#select(org.eclipse.jface.viewers.
@@ -301,6 +326,7 @@ private void notifyPriorityDisabled(RulePriority priority) {
 
     public interface PriorityFilterChangeListener {
         void priorityEnabled(RulePriority priority);
+
         void priorityDisabled(RulePriority priority);
     }
 }