mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Wrong label

Browse source
This commit is contained in:
Alain Magloire 2004-06-02 15:48:29 +00:00
parent 3394347e31
commit a354b64c58
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/WorkInProgressPreferencePage.java
View file

@ -151,7 +151,7 @@ public class WorkInProgressPreferencePage extends PreferencePage
editorCorrectionGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); editorCorrectionGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
editorCorrectionGroup.setText("Editor"); //$NON-NLS-1$ 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() { fEditorCorrection.addSelectionListener(new SelectionListener() {
public void widgetDefaultSelected(SelectionEvent e) { public void widgetDefaultSelected(SelectionEvent e) {
} }