Author: dazarov
Date: 2011-12-23 12:49:39 -0500 (Fri, 23 Dec 2011)
New Revision: 37562
Modified:
trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/marker/ConfigureProblemSeverityResolutionGenerator.java
Log:
@SuppressWarnings quick fix moved up
https://issues.jboss.org/browse/JBIDE-10187
Modified:
trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/marker/ConfigureProblemSeverityResolutionGenerator.java
===================================================================
---
trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/marker/ConfigureProblemSeverityResolutionGenerator.java 2011-12-23
16:13:22 UTC (rev 37561)
+++
trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/marker/ConfigureProblemSeverityResolutionGenerator.java 2011-12-23
17:49:39 UTC (rev 37562)
@@ -43,7 +43,6 @@
String preferenceKey = getPreferenceKey(marker);
String preferencePageId = getPreferencePageId(marker);
if(preferenceKey != null && preferencePageId != null){
- resolutions.add(new ConfigureProblemSeverityMarkerResolution(preferencePageId,
preferenceKey));
boolean enabled =
marker.getAttribute(ValidationErrorManager.SUPPRESS_WARNINGS_ENABLED_ATTRIBUTE, false);
int severity = marker.getAttribute(IMarker.SEVERITY, 0);
if(enabled && severity == IMarker.SEVERITY_WARNING){
@@ -58,6 +57,7 @@
resolutions.add(new AddSuppressWarningsMarkerResolution(file, element,
preferenceKey));
}
}
+ resolutions.add(new ConfigureProblemSeverityMarkerResolution(preferencePageId,
preferenceKey));
}
}
}