Ignore case for functions in syntax highlighting
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / IPreferenceConstants.java
index 793bec6..cec00dc 100644 (file)
@@ -56,11 +56,11 @@ public interface IPreferenceConstants {
 //
 //  public static final String APACHE_RESTART_PREF = "__apache_restart";
   
-  public static final String HTTPD_CONF_PATH_PREF = "__httpd_conf_path";
-  
-  public static final String ETC_HOSTS_PATH_PREF = "__etc_hosts_path";
+//  public static final String HTTPD_CONF_PATH_PREF = "__httpd_conf_path";
+//  
+//  public static final String ETC_HOSTS_PATH_PREF = "__etc_hosts_path";
 
-  public static final String SHOW_OUTPUT_IN_CONSOLE = "_show_output_in_console";
+//  public static final String SHOW_OUTPUT_IN_CONSOLE = "_show_output_in_console";
 
 //  public static final String PHP_RUN_PREF = "_php_run_pref";
 //
@@ -230,6 +230,14 @@ public interface IPreferenceConstants {
 
   public static final String PHP_VARIABLE_UNDERLINE = "_php_variable_underline";//$NON-NLS-1$
 
+  public static final String PHP_VARIABLE_DOLLAR = "_php_variable_dollar";//$NON-NLS-1$
+
+  public static final String PHP_VARIABLE_DOLLAR_BOLD = "_php_variable_dollar_bold";//$NON-NLS-1$
+
+  public static final String PHP_VARIABLE_DOLLAR_ITALIC = "_php_variable_dollar_italic";//$NON-NLS-1$
+
+  public static final String PHP_VARIABLE_DOLLAR_UNDERLINE = "_php_variable_dollar_underline";//$NON-NLS-1$
+
   public static final String PHP_TYPE = "_php_type";//$NON-NLS-1$
 
   public static final String PHP_TYPE_BOLD = "_php_type_bold";//$NON-NLS-1$
@@ -340,7 +348,7 @@ public interface IPreferenceConstants {
 
   public static final String EDITOR_CORRECTION_INDICATION = null;
 
-  public static final String PHP_OBFUSCATOR_DEFAULT = "_php_obfuscator_default";
+//  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_LOCALHOST_PREF = "_php_localhost";
   //  public static final String PHP_DOCUMENTROOT_PREF = "_php_documentroot";