X-Git-Url: http://secure.phpeclipse.com diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java index 75c3a01..d5f0188 100644 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/ui/PreferenceConstants.java @@ -943,6 +943,14 @@ public class PreferenceConstants { public final static String EDITOR_MULTI_LINE_COMMENT_COLOR = IPreferenceConstants.PHP_MULTILINE_COMMENT; /** + * The symbolic font name for the Java editor text font + * (value "org.eclipse.jdt.ui.editors.textfont"). + * + * @since 2.1 + */ +public final static String EDITOR_TEXT_FONT= "net.sourceforge.phpdt.ui.editors.textfont"; //$NON-NLS-1$ + + /** * A named preference that controls whether multi line comments are rendered in bold. *

* Value is of type Boolean. If true multi line comments are rendered