*/
public static final String EDITOR_ITALIC_SUFFIX= "_italic"; //$NON-NLS-1$
- public static final String LOCALHOST_PREF = "_localhost";
- public static final String DOCUMENTROOT_PREF = "_documentroot";
+// public static final String LOCALHOST_PREF = "_localhost";
+// public static final String DOCUMENTROOT_PREF = "_documentroot";
public static final String USE_EXTERNAL_BROWSER_PREF = "_use_external_browser";
// public static final String SHOW_EXTERNAL_PREVIEW_PREF = "_show_external_preview";
public static final String EXTERNAL_BROWSER_PREF = "_external_browser";
* @since 3.0
*/
public static final String PHP_OPERATOR = "__php_operator"; //$NON-NLS-1$
+
/**
* A named preference that holds the color used to render operators and brackets.
* <p>
public static final String PHP_SINGLELINE_COMMENT_BOLD = "_php_singlelineComment_bold";//$NON-NLS-1$
public static final String PHP_SINGLELINE_COMMENT_ITALIC = "_php_singlelineComment_italic";//$NON-NLS-1$
public static final String PHP_SINGLELINE_COMMENT_UNDERLINE = "_php_singlelineComment_underline";//$NON-NLS-1$
- public static final String PHP_TAG = "_php_tag";//$NON-NLS-1$
- public static final String PHP_TAG_BOLD = "_php_tag_bold";//$NON-NLS-1$
- public static final String PHP_TAG_ITALIC = "_php_tag_italic";//$NON-NLS-1$
- public static final String PHP_TAG_UNDERLINE = "_php_tag_underline";//$NON-NLS-1$
+ public static final String PHP_TAG = "_php_tag";//$NON-NLS-1$
+ public static final String PHP_TAG_BOLD = "_php_tag_bold";//$NON-NLS-1$
+ public static final String PHP_TAG_ITALIC = "_php_tag_italic";//$NON-NLS-1$
+ public static final String PHP_TAG_UNDERLINE = "_php_tag_underline";//$NON-NLS-1$
public static final String PHP_KEYWORD = "_php_keyword";//$NON-NLS-1$
public static final String PHP_KEYWORD_BOLD = "_php_keyword_bold";//$NON-NLS-1$
public static final String PHP_KEYWORD_ITALIC = "_php_keyword_italic";//$NON-NLS-1$
public static final String EDITOR_CORRECTION_INDICATION = null;
public static final String PHP_OBFUSCATOR_DEFAULT = "_php_obfuscator_default";
- public static final String PHP_BOOKMARK_DEFAULT = "_php_bookmark_default";
-
- public static final String PHP_AUTO_PREVIEW_DEFAULT = "_auto_preview";
- public static final String PHP_BRING_TO_TOP_PREVIEW_DEFAULT = "_bring_to_top_preview";
+// public static final String PHP_BOOKMARK_DEFAULT = "_php_bookmark_default";
+// public static final String PHP_LOCALHOST_PREF = "_php_localhost";
+// public static final String PHP_DOCUMENTROOT_PREF = "_php_documentroot";
+//
+// public static final String PHP_AUTO_PREVIEW_DEFAULT = "_auto_preview";
+// public static final String PHP_BRING_TO_TOP_PREVIEW_DEFAULT = "_bring_to_top_preview";
+// public static final String PHP_SHOW_HTML_FILES_LOCAL = "_show_html_files_local";
}
\ No newline at end of file