diff options
| author | Mike Rennie | 2013-08-19 17:16:02 +0000 |
|---|---|---|
| committer | Mike Rennie | 2013-08-19 17:16:02 +0000 |
| commit | 8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1 (patch) | |
| tree | 18b481544c2ca5e68640007438ef1ec106455883 /org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences | |
| parent | 779bd79172850c4a8bb5cc170b763cde5c62457d (diff) | |
| download | eclipse.platform.debug-8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1.tar.gz eclipse.platform.debug-8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1.tar.xz eclipse.platform.debug-8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1.zip | |
[nobug] removed unused SuppressWarnings + sync / update compilerI20130820-0800
settings
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/LaunchPerspectivePreferencePage.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/LaunchPerspectivePreferencePage.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/LaunchPerspectivePreferencePage.java index 4dc046a18..da59e7f0f 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/LaunchPerspectivePreferencePage.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/preferences/LaunchPerspectivePreferencePage.java @@ -218,7 +218,6 @@ public class LaunchPerspectivePreferencePage extends PreferencePage implements I @Override public void widgetDefaultSelected(SelectionEvent e) {} - @SuppressWarnings("unchecked") @Override public void widgetSelected(SelectionEvent e) { Object o = e.getSource(); |