diff options
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AnnotationPreference.java')
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AnnotationPreference.java | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AnnotationPreference.java b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AnnotationPreference.java index a89b54dc29c..b76484426cc 100644 --- a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AnnotationPreference.java +++ b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AnnotationPreference.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2006 IBM Corporation and others. + * Copyright (c) 2000, 2007 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -95,6 +95,13 @@ public class AnnotationPreference { * @since 3.0 */ public static final String STYLE_BOX= "BOX"; //$NON-NLS-1$ + + /** + * Constant defining dashed box decoration for the show in text style preference. + * @since 3.3 + */ + public static final String STYLE_DASHED_BOX= "DASHED_BOX"; //$NON-NLS-1$ + /** * Constant defining underline decoration for the show in text style preference. * @since 3.0 @@ -911,7 +918,7 @@ public class AnnotationPreference { * @since 3.0 */ public void setTextStyleValue(String value) { - if (!STYLE_NONE.equals(value) && !STYLE_BOX.equals(value) + if (!STYLE_NONE.equals(value) && !STYLE_BOX.equals(value) && !STYLE_DASHED_BOX.equals(value) && !STYLE_IBEAM.equals(value) && !STYLE_SQUIGGLES.equals(value) && !STYLE_UNDERLINE.equals(value)) throw new IllegalArgumentException(); |