improved syntax highlighting scanners and preferences

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / IPreferenceConstants.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java
index 9016106..0352e0c 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java
@@ -50,8 +50,8 @@ public interface IPreferenceConstants {
   public static final String PHP_RUN_PREF = "_php_run_pref";
   public static final String EXTERNAL_PARSER_PREF = "_external_parser";
   public static final String PHP_PARSER_DEFAULT = "_php_parser_default";
-  public static final String PHP_INTERNAL_PARSER = "_php_internal_parser";
-  public static final String PHP_EXTERNAL_PARSER = "_php_external_parser";
+//  public static final String PHP_INTERNAL_PARSER = "_php_internal_parser";
+//  public static final String PHP_EXTERNAL_PARSER = "_php_external_parser";
   // public static final String PHP_PARSE_ON_SAVE = "_php_parse_on_save";
   public static final String PHP_MULTILINE_COMMENT = "_php_multilineComment";
   public static final String PHP_MULTILINE_COMMENT_BOLD = "_php_multilineComment_bold";
@@ -61,7 +61,8 @@ public interface IPreferenceConstants {
         * (value <code>"__php_operator"</code>).
         * @since 3.0
         */
-  public static final String PHP_OPERATOR= "__php_operator"; //$NON-NLS-1$
+  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>
@@ -217,4 +218,5 @@ public interface IPreferenceConstants {
   
   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