Added new Option "Wrap PHPdocs and comments at print margin"
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / preferences / JavaEditorPreferencePage.java
index 020ffd2..73543a2 100644 (file)
@@ -473,6 +473,10 @@ public class JavaEditorPreferencePage extends PreferencePage implements IWorkben
     
     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,
         PreferenceConstants.EDITOR_ADD_JAVADOC_TAGS));
+    overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,
+        PreferenceConstants.EDITOR_FORMAT_JAVADOCS));
+    
+    
     overlayKeys
         .add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN, PreferenceConstants.EDITOR_SMART_HOME_END));
     overlayKeys.add(new OverlayPreferenceStore.OverlayKey(OverlayPreferenceStore.BOOLEAN,
@@ -1113,6 +1117,11 @@ public class JavaEditorPreferencePage extends PreferencePage implements IWorkben
         //$NON-NLS-1$
         button = addCheckBox(group, label,
             PreferenceConstants.EDITOR_CLOSE_JAVADOCS, 1);
+        label = PreferencesMessages
+        .getString("JavaEditorPreferencePage.formatJavaDocs");
+    //$NON-NLS-1$
+    button = addCheckBox(group, label,
+        PreferenceConstants.EDITOR_FORMAT_JAVADOCS, 1);
     //
     //    label = PreferencesMessages
     //        .getString("JavaEditorPreferencePage.addJavaDocTags");