X-Git-Url: http://secure.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java
index 8404335..adc6a51 100644
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java
+++ b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/WebUI.java
@@ -8,7 +8,7 @@
  * Contributors:
  *     Christopher Lenz - initial implementation
  *
- * $Id: WebUI.java,v 1.7 2006-10-21 23:13:54 pombredanne Exp $
+ * $Id: WebUI.java,v 1.10 2007-08-23 06:42:09 toshihiro Exp $
  */
 
 package net.sourceforge.phpeclipse.ui;
@@ -41,6 +41,9 @@ import org.eclipse.ui.plugin.AbstractUIPlugin;
  * The web development tools UI plugin.
  */
 public class WebUI extends AbstractUIPlugin implements IPreferenceConstants {
+
+	public static final String PLUGIN_ID = "net.sourceforge.phpeclipse.ui";
+
 	private static final String CUSTOM_TEMPLATES_KEY = "net.sourceforge.phpeclipse.ui.templates"; //$NON-NLS-1$
 
 	// Constants ---------------------------------------------------------------
@@ -168,8 +171,8 @@ public class WebUI extends AbstractUIPlugin implements IPreferenceConstants {
 				.getLocation().toString());
 		// store.setDefault(PHP_BOOKMARK_DEFAULT, "");
 
-		store.setDefault(PHP_AUTO_PREVIEW_DEFAULT, "true");
-		store.setDefault(PHP_BRING_TO_TOP_PREVIEW_DEFAULT, "true");
+		store.setDefault(PHP_AUTO_PREVIEW_DEFAULT, "false");
+		store.setDefault(PHP_BRING_TO_TOP_PREVIEW_DEFAULT, "false");
 		// store.setDefault(PHP_SHOW_HTML_FILES_LOCAL, "true");
 		// store.setDefault(PHP_SHOW_XML_FILES_LOCAL, "false");
 	}
@@ -181,10 +184,20 @@ public class WebUI extends AbstractUIPlugin implements IPreferenceConstants {
 		reg.put(ICON_OVERLAY_ERROR, getImageDescriptor(ICON_OVERLAY_ERROR));
 		reg.put(ICON_OVERLAY_WARNING, getImageDescriptor(ICON_OVERLAY_WARNING));
 	}
+
 	// private IWorkbenchPage internalGetActivePage() {
 	// IWorkbenchWindow window = getWorkbench().getActiveWorkbenchWindow();
 	// if (window != null)
 	// return window.getActivePage();
 	// return null;
 	// }
+
+	public static void log(IStatus status) {
+		getDefault().getLog().log(status);
+	}
+
+	public static void log(Throwable e) {
+		log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR, ""
+				+ e.getLocalizedMessage(), e));
+	}
 }
\ No newline at end of file