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 SHOW_EXTERNAL_PREVIEW_PREF = "_show_external_preview";
public static final String EXTERNAL_BROWSER_PREF = "_external_browser";
public static final String MYSQL_RUN_PREF = "_mysql_run_pref";
public static final String MYSQL_START_BACKGROUND = "_mysql_start_background";
public static final String PHP_DEFAULT_BOLD = "_php_default_bold";
public static final String PHP_DEFAULT_ITALIC = "_php_default_italic";
public static final String PHP_DEFAULT_UNDERLINE = "_php_default_underline";
-
+ public static final String TASK_TAG= "_php_comment_task_tag"; //$NON-NLS-1$
+ public static final String TASK_TAG_BOLD = "_php_comment_task_tag_bold"; //$NON-NLS-1$
+
/** The color key for PHPDoc keywords (<code>@foo</code>) in PHPDoc comments. */
public static final String PHPDOC_KEYWORD = "_php_doc_keyword"; //$NON-NLS-1$
public static final String PHPDOC_KEYWORD_BOLD = "_php_doc_keyword_bold";
public static final String EDITOR_EVALUTE_TEMPORARY_PROBLEMS = null;
public static final String EDITOR_CORRECTION_INDICATION = null;
- public static final String PHP_OUTLINE_CLASS = "_php_outline_class"; //$NON-NLS-1$
- public static final String PHP_OUTLINE_FUNC = "_php_outline_func"; //$NON-NLS-1$
- public static final String PHP_OUTLINE_VAR = "_php_outline_var"; //$NON-NLS-1$
-
+ 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";
}
\ No newline at end of file