Run Browser's setURL() and refresh() in separate threads
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpeclipse / ui / IPreferenceConstants.java
1
2 package net.sourceforge.phpeclipse.ui;
3
4
5 public interface IPreferenceConstants {
6   public static final String PHP_BOOKMARK_DEFAULT = "_php_bookmark_default";
7   public static final String PHP_LOCALHOST_PREF = "_php_localhost";
8   public static final String PHP_DOCUMENTROOT_PREF = "_php_documentroot";
9
10   public static final String PHP_AUTO_PREVIEW_DEFAULT = "_auto_preview";
11   public static final String PHP_BRING_TO_TOP_PREVIEW_DEFAULT = "_bring_to_top_preview";
12   public static final String PHP_SHOW_HTML_FILES_LOCAL = "_show_html_files_local";
13   public static final String PHP_SHOW_XML_FILES_LOCAL = "_show_xml_files_local";
14 }