}
// add the internal browser if we can
+// WebBrowserUIPlugin.getInstance().getLog().log(
+// new Status(IStatus.INFO, WebBrowserUIPlugin.PLUGIN_ID, 0, WebBrowserUtil.canUseInternalWebBrowser() + "/"
+// + WebBrowserUtil.isInternalBrowserOperational(), null));
+// if (!WebBrowserUtil.canUseInternalWebBrowser() || !WebBrowserUtil.isInternalBrowserOperational())
+// return;
WebBrowserUIPlugin.getInstance().getLog().log(
- new Status(IStatus.INFO, WebBrowserUIPlugin.PLUGIN_ID, 0, WebBrowserUtil.canUseInternalWebBrowser() + "/"
- + WebBrowserUtil.isInternalBrowserOperational(), null));
- if (!WebBrowserUtil.canUseInternalWebBrowser() || !WebBrowserUtil.isInternalBrowserOperational())
+ new Status(IStatus.INFO, WebBrowserUIPlugin.PLUGIN_ID, 0,
+ "-"+WebBrowserUtil.isInternalBrowserOperational(), null));
+ if (!WebBrowserUtil.isInternalBrowserOperational())
return;
-
browserList.add(0, new InternalWebBrowser());
}