Optimized net.sourceforge.phpeclipse.xdebug.php.model.XDebugThread.getStackFrames()

[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpeclipse / ui / IPreferenceConstants.java

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/IPreferenceConstants.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/IPreferenceConstants.java
index b3c6d00..7b7d286 100644 (file)
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/IPreferenceConstants.java
+++ b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/IPreferenceConstants.java
@@ -1,15 +1,21 @@
-
 package net.sourceforge.phpeclipse.ui;
 
-
 public interface IPreferenceConstants {
-  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_INCLUDE_PATHS = "_php_include_paths";
-
-  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_SHOW_XML_FILES_LOCAL = "_show_xml_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_INCLUDE_PATHS = "_php_include_paths";
+
+       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_STICKY_BROWSER_URL_DEFAULT = "_sticky_browser_url";
+       // public static final String PHP_SHOW_HTML_FILES_LOCAL =
+       // "_show_html_files_local";
+       // public static final String PHP_SHOW_XML_FILES_LOCAL =
+       // "_show_xml_files_local";
 }