Bug 133380 - Polish of the Ant preference page
diff --git a/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/preferences/AntPreferencePage.java b/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/preferences/AntPreferencePage.java
index c097faf..825187c 100644
--- a/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/preferences/AntPreferencePage.java
+++ b/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/preferences/AntPreferencePage.java
@@ -108,12 +108,14 @@
label.setFont(font);
fToolsWarningEditor= new BooleanFieldEditor(IAntUIPreferenceConstants.ANT_TOOLS_JAR_WARNING, AntPreferencesMessages.AntPreferencePage_1, getFieldEditorParent());
addField(fToolsWarningEditor);
- createSpace();
+ createSpace();
}
addField(new BooleanFieldEditor(IAntUIPreferenceConstants.ANT_ERROR_DIALOG, AntPreferencesMessages.AntPreferencePage_12, getFieldEditorParent()));
createSpace();
+
+ addField(new BooleanFieldEditor(IAntUIPreferenceConstants.ANT_CREATE_MARKERS, AntPreferencesMessages.AntPreferencePage_15, getFieldEditorParent()));
label= new Label(getFieldEditorParent(), SWT.WRAP);
label.setText(AntPreferencesMessages.AntPreferencePage_16);
gd= new GridData(GridData.HORIZONTAL_ALIGN_FILL);
@@ -121,8 +123,7 @@
gd.widthHint= convertWidthInCharsToPixels(60);
label.setLayoutData(gd);
label.setFont(font);
- addField(new BooleanFieldEditor(IAntUIPreferenceConstants.ANT_CREATE_MARKERS, AntPreferencesMessages.AntPreferencePage_15, getFieldEditorParent()));
-
+
createSpace();
createColorComposite();
getPreferenceStore().addPropertyChangeListener(this);