X-Git-Url: http://secure.phpeclipse.com 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 --- 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";