Run Browser's setURL() and refresh() in separate threads
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / IPreferenceConstants.java
index 7fd5ac4..97775d7 100644 (file)
@@ -138,10 +138,10 @@ public interface IPreferenceConstants {
   public static final String PHP_SINGLELINE_COMMENT_BOLD = "_php_singlelineComment_bold";//$NON-NLS-1$
   public static final String PHP_SINGLELINE_COMMENT_ITALIC = "_php_singlelineComment_italic";//$NON-NLS-1$
   public static final String PHP_SINGLELINE_COMMENT_UNDERLINE = "_php_singlelineComment_underline";//$NON-NLS-1$
-       public static final String PHP_TAG = "_php_tag";//$NON-NLS-1$
-       public static final String PHP_TAG_BOLD = "_php_tag_bold";//$NON-NLS-1$
-       public static final String PHP_TAG_ITALIC = "_php_tag_italic";//$NON-NLS-1$
-       public static final String PHP_TAG_UNDERLINE = "_php_tag_underline";//$NON-NLS-1$
+  public static final String PHP_TAG = "_php_tag";//$NON-NLS-1$
+  public static final String PHP_TAG_BOLD = "_php_tag_bold";//$NON-NLS-1$
+  public static final String PHP_TAG_ITALIC = "_php_tag_italic";//$NON-NLS-1$
+  public static final String PHP_TAG_UNDERLINE = "_php_tag_underline";//$NON-NLS-1$
   public static final String PHP_KEYWORD = "_php_keyword";//$NON-NLS-1$
   public static final String PHP_KEYWORD_BOLD = "_php_keyword_bold";//$NON-NLS-1$
   public static final String PHP_KEYWORD_ITALIC = "_php_keyword_italic";//$NON-NLS-1$
@@ -214,11 +214,11 @@ 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_BOOKMARK_DEFAULT = "_php_bookmark_default";
-  public static final String PHP_LOCALHOST_PREF = "_php_localhost";
-  public static final String PHP_DOCUMENTROOT_PREF = "_php_documentroot";
-  
-  public static final String PHP_AUTO_PREVIEW_DEFAULT = "_auto_preview";
-  public static final String PHP_BRING_TO_TOP_PREVIEW_DEFAULT = "_bring_to_top_preview";
-  public static final String PHP_SHOW_HTML_FILES_LOCAL = "_show_html_files_local";
+//  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";
+//  
+//  public static final String PHP_AUTO_PREVIEW_DEFAULT = "_auto_preview";
+//  public static final String PHP_BRING_TO_TOP_PREVIEW_DEFAULT = "_bring_to_top_preview";
+//  public static final String PHP_SHOW_HTML_FILES_LOCAL = "_show_html_files_local";
 }
\ No newline at end of file