X-Git-Url: http://git.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..a23b7e4 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.11 2007-11-08 01:37:06 scorphus 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,9 @@ 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_STICKY_BROWSER_URL_DEFAULT, "false"); // store.setDefault(PHP_SHOW_HTML_FILES_LOCAL, "true"); // store.setDefault(PHP_SHOW_XML_FILES_LOCAL, "false"); } @@ -181,10 +185,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