Author: scabanovich
Date: 2011-05-31 16:31:34 -0400 (Tue, 31 May 2011)
New Revision: 31688
Modified:
trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/preferences/SeverityPreferences.java
Log:
JBIDE-9028
https://issues.jboss.org/browse/JBIDE-9028
Modified:
trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/preferences/SeverityPreferences.java
===================================================================
---
trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/preferences/SeverityPreferences.java 2011-05-31
19:54:14 UTC (rev 31687)
+++
trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/preferences/SeverityPreferences.java 2011-05-31
20:31:34 UTC (rev 31688)
@@ -48,6 +48,7 @@
public static final String ENABLE_BLOCK_PREFERENCE_NAME = "enableBlock";
//$NON-NLS-1$
public static final String MAX_NUMBER_OF_MARKERS_PREFERENCE_NAME =
CommonPlugin.PLUGIN_ID + ".validator.problem.markersBlock"; //$NON-NLS-1$
public static final int DEFAULT_MAX_NUMBER_OF_MARKERS_PER_FILE = 20;
+ public static final String WRONG_BUILDER_ORDER_PREFERENCE_NAME = CommonPlugin.PLUGIN_ID
+ ".validator.problem.wrongBuilderOrder"; //$NON-NLS-1$
public static final String ERROR = "error"; //$NON-NLS-1$
public static final String WARNING = "warning"; //$NON-NLS-1$
@@ -119,6 +120,24 @@
return p.getBoolean(ENABLE_BLOCK_PREFERENCE_NAME, false);
}
+ public String getBuilderOrderPreference(IProject project) {
+ IEclipsePreferences p = getProjectPreferences(project);
+ if(p == null) {
+ return null;
+ }
+ String value = p.get(WRONG_BUILDER_ORDER_PREFERENCE_NAME, null);
+ if(value != null) {
+ return value;
+ }
+ p = getInstancePreferences();
+ value = p == null ? null : p.get(WRONG_BUILDER_ORDER_PREFERENCE_NAME, null);
+ if(value != null) {
+ return value;
+ }
+ p = getDefaultPreferences();
+ return p.get(WRONG_BUILDER_ORDER_PREFERENCE_NAME, null);
+ }
+
public String getInstancePreference(String key) {
IEclipsePreferences p = getInstancePreferences();
String value = p == null ? null : p.get(key, null);