misc

[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 f6b7cef..cec00dc 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java
@@ -60,7 +60,7 @@ public interface IPreferenceConstants {
 //  
 //  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";