From a354b64c588bdec4e754d0424f0df23b5ca105bb Mon Sep 17 00:00:00 2001 From: Alain Magloire Date: Wed, 2 Jun 2004 15:48:29 +0000 Subject: [PATCH] Wrong label --- .../internal/ui/preferences/WorkInProgressPreferencePage.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/WorkInProgressPreferencePage.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/WorkInProgressPreferencePage.java index eb128b10faf..563a1c62028 100644 --- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/WorkInProgressPreferencePage.java +++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/WorkInProgressPreferencePage.java @@ -151,7 +151,7 @@ public class WorkInProgressPreferencePage extends PreferencePage editorCorrectionGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); editorCorrectionGroup.setText("Editor"); //$NON-NLS-1$ - fEditorCorrection = createCheckButton(editorCorrectionGroup, "Enable editor problem marker"); //$NON-NLS-1$ + fEditorCorrection = createCheckButton(editorCorrectionGroup, "Enable editor problem annotation"); //$NON-NLS-1$ fEditorCorrection.addSelectionListener(new SelectionListener() { public void widgetDefaultSelected(SelectionEvent e) { }