[jbosstools-commits] JBoss Tools SVN: r23901 - trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences.
jbosstools-commits at lists.jboss.org
jbosstools-commits at lists.jboss.org
Tue Aug 3 19:29:30 EDT 2010
Author: dgolovin
Date: 2010-08-03 19:29:29 -0400 (Tue, 03 Aug 2010)
New Revision: 23901
Modified:
trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences/SeverityPreferencePage.java
Log:
https://jira.jboss.org/browse/JBIDE-6772 The method widgetDefaultSelected(SelectionEvent) of type new SelectionListener(){} must override a superclass method
@Override annotations were removed
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 2010-08-03 22:57:35 UTC (rev 23900)
+++ trunk/common/plugins/org.jboss.tools.common.ui/src/org/jboss/tools/common/ui/preferences/SeverityPreferencePage.java 2010-08-03 23:29:29 UTC (rev 23901)
@@ -60,12 +60,10 @@
severityConfigurationBlock.setLayoutData(gd);
checkBox.addSelectionListener(new SelectionListener() {
- @Override
public void widgetSelected(SelectionEvent e) {
enableMainPreferenceContent(checkBox.getSelection());
getPreferenceStore().setValue(SeverityPreferences.ENABLE_BLOCK_PREFERENCE_NAME, checkBox.getSelection());
}
- @Override
public void widgetDefaultSelected(SelectionEvent e) {
}
});
More information about the jbosstools-commits
mailing list