diff options
Diffstat (limited to 'org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java')
| -rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java index eb7653132cf..0717f06115a 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java @@ -426,6 +426,7 @@ public class AbstractDecoratedTextEditorPreferenceConstants { * * <p> * The following preferences can be used for fine-grained configuration when enabled. + * </p> * <ul> * <li>{@link #EDITOR_SHOW_LEADING_SPACES}</li> * <li>{@link #EDITOR_SHOW_ENCLOSED_SPACES}</li> @@ -440,7 +441,6 @@ public class AbstractDecoratedTextEditorPreferenceConstants { * <li>{@link #EDITOR_SHOW_LINE_FEED}</li> * <li>{@link #EDITOR_WHITESPACE_CHARACTER_ALPHA_VALUE}</li> * </ul> - * </p> * * @since 3.3 */ |