diff options
| author | jszursze | 2002-04-08 21:29:27 +0000 |
|---|---|---|
| committer | jszursze | 2002-04-08 21:29:27 +0000 |
| commit | feb21463b39b80cbbae3e2a773f8763acbd46702 (patch) | |
| tree | 225a4701ae2a5b3452ac0b6606495476b82c9d3e /org.eclipse.debug.ui/ui/org | |
| parent | 166fe56085551ea38838101ceb3f06a3952cc038 (diff) | |
| download | eclipse.platform.debug-feb21463b39b80cbbae3e2a773f8763acbd46702.tar.gz eclipse.platform.debug-feb21463b39b80cbbae3e2a773f8763acbd46702.tar.xz eclipse.platform.debug-feb21463b39b80cbbae3e2a773f8763acbd46702.zip | |
fix for 8804
Diffstat (limited to 'org.eclipse.debug.ui/ui/org')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugPreferencePage.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugPreferencePage.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugPreferencePage.java index ad10907dc..7ba81d285 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugPreferencePage.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugPreferencePage.java @@ -55,7 +55,7 @@ public class DebugPreferencePage extends FieldEditorPreferencePage implements IW "Launching style",
1,
new String[][] {
- {"La&uncher-based", IDebugPreferenceConstants.LAUNCHING_STYLE_LAUNCHERS},
+ {"Launc&her-based", IDebugPreferenceConstants.LAUNCHING_STYLE_LAUNCHERS},
{"C&onfiguration-based", IDebugPreferenceConstants.LAUNCHING_STYLE_CONFIGURATIONS}
},
getFieldEditorParent()));
@@ -99,9 +99,9 @@ public class DebugPreferencePage extends FieldEditorPreferencePage implements IW private void createSaveBeforeLaunchEditors(Composite parent) {
fSaveRadioFieldEditor = new RadioGroupFieldEditor(IDebugUIConstants.PREF_SAVE_DIRTY_EDITORS_BEFORE_LAUNCH_RADIO, "Save dirty editors before launching", 1,
- new String[][] {{"Never", IDebugUIConstants.PREF_NEVER_SAVE_DIRTY_EDITORS_BEFORE_LAUNCH},
- {"Prompt", IDebugUIConstants.PREF_PROMPT_SAVE_DIRTY_EDITORS_BEFORE_LAUNCH},
- {"Auto-save", IDebugUIConstants.PREF_AUTOSAVE_DIRTY_EDITORS_BEFORE_LAUNCH}},
+ new String[][] {{"&Never", IDebugUIConstants.PREF_NEVER_SAVE_DIRTY_EDITORS_BEFORE_LAUNCH},
+ {"&Prompt", IDebugUIConstants.PREF_PROMPT_SAVE_DIRTY_EDITORS_BEFORE_LAUNCH},
+ {"Auto-sav&e", IDebugUIConstants.PREF_AUTOSAVE_DIRTY_EDITORS_BEFORE_LAUNCH}},
parent);
addField(fSaveRadioFieldEditor);
|