diff options
Diffstat (limited to 'org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaPrimitivesPreferencePage.java')
-rw-r--r-- | org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaPrimitivesPreferencePage.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaPrimitivesPreferencePage.java b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaPrimitivesPreferencePage.java index 002b57bb4..310bcc0f6 100644 --- a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaPrimitivesPreferencePage.java +++ b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/JavaPrimitivesPreferencePage.java @@ -44,6 +44,7 @@ public class JavaPrimitivesPreferencePage extends PreferencePage implements IWor /** * @see PreferencePage#createContents(Composite) */ + @Override protected Control createContents(Composite parent) { PlatformUI.getWorkbench().getHelpSystem().setHelp(getControl(), IJavaDebugHelpContextIds.JAVA_PRIMITIVES_PREFERENCE_PAGE); @@ -92,6 +93,7 @@ public class JavaPrimitivesPreferencePage extends PreferencePage implements IWor * @see org.eclipse.jface.preference.IPreferencePage#performOk() * Also, notifies interested listeners */ + @Override public boolean performOk() { storeValues(); return true; @@ -101,6 +103,7 @@ public class JavaPrimitivesPreferencePage extends PreferencePage implements IWor * Sets the default preferences. * @see PreferencePage#performDefaults() */ + @Override protected void performDefaults() { Iterator iterator = fEdtiors.iterator(); while (iterator.hasNext()) { |