Author: akazakov
Date: 2012-09-27 13:18:29 -0400 (Thu, 27 Sep 2012)
New Revision: 44104
Modified:
trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences/SeverityPreferencePage.java
Log:
https://issues.jboss.org/browse/JBIDE-12741 CDI (and other JBT common validators) is
disabled for workspace if you disable it for project
Modified:
trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences/SeverityPreferencePage.java
===================================================================
---
trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences/SeverityPreferencePage.java 2012-09-27
17:17:17 UTC (rev 44103)
+++
trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences/SeverityPreferencePage.java 2012-09-27
17:18:29 UTC (rev 44104)
@@ -92,6 +92,7 @@
String value = getStoredValue(lookupOrder, manager,
getConfigurationBlock().getQualifier(),
SeverityPreferences.ENABLE_BLOCK_PREFERENCE_NAME);
boolean enabled = value==null?true:Boolean.parseBoolean(value);
+// checkBox.setSelection(getPreferenceStore().getBoolean(SeverityPreferences.ENABLE_BLOCK_PREFERENCE_NAME));
checkBox.setSelection(enabled);
gridLayout = new GridLayout(1, false);
@@ -100,6 +101,7 @@
checkBox.addSelectionListener(new SelectionListener() {
public void widgetSelected(SelectionEvent e) {
enableMainPreferenceContent(checkBox.getSelection());
+// getPreferenceStore().setValue(SeverityPreferences.ENABLE_BLOCK_PREFERENCE_NAME,
checkBox.getSelection());
setStoredValue(context, Boolean.toString(checkBox.getSelection()), manager,
getConfigurationBlock().getQualifier(),
SeverityPreferences.ENABLE_BLOCK_PREFERENCE_NAME);
}
public void widgetDefaultSelected(SelectionEvent e) {