*/
package net.sourceforge.phpeclipse.webbrowser;
-import java.net.URL;
-import java.util.List;
+//import java.net.URL;
+//import java.util.List;
import net.sourceforge.phpeclipse.webbrowser.internal.BrowserManager;
-import net.sourceforge.phpeclipse.webbrowser.internal.ExternalWebBrowserWorkingCopy;
+//import net.sourceforge.phpeclipse.webbrowser.internal.ExternalWebBrowserWorkingCopy;
import net.sourceforge.phpeclipse.webbrowser.internal.Trace;
import net.sourceforge.phpeclipse.webbrowser.internal.WebBrowserEditor;
-import net.sourceforge.phpeclipse.webbrowser.internal.WebBrowserUIPlugin;
-import net.sourceforge.phpeclipse.webbrowser.internal.WebBrowserUtil;
+//import net.sourceforge.phpeclipse.webbrowser.internal.WebBrowserUIPlugin;
+//import net.sourceforge.phpeclipse.webbrowser.internal.WebBrowserUtil;
import org.eclipse.swt.widgets.Display;
*
* @return
*/
- public static List getWebBrowsers() {
- return BrowserManager.getInstance().getWebBrowsers();
- }
+// public static List getWebBrowsers() {
+// return BrowserManager.getInstance().getWebBrowsers();
+// }
/**
* Return the current default web browser.
*
* @return
*/
- public static void getCurrentWebBrowser(IWebBrowser browser) {
- BrowserManager.getInstance().setCurrentWebBrowser(browser);
- }
+// public static void getCurrentWebBrowser(IWebBrowser browser) {
+// BrowserManager.getInstance().setCurrentWebBrowser(browser);
+// }
/**
* Create a new external Web browser.
*
* @return
*/
- public static IExternalWebBrowserWorkingCopy createExternalWebBrowser() {
- return new ExternalWebBrowserWorkingCopy();
- }
+// public static IExternalWebBrowserWorkingCopy createExternalWebBrowser() {
+// return new ExternalWebBrowserWorkingCopy();
+// }
/**
* Display the given URL in a Web browser.
* @param url
* java.net.URL
*/
- public static void openURL(URL url) {
- IWebBrowser browser = getCurrentWebBrowser();
- if (browser != null)
- browser.openURL(url);
- else {
- Display.getDefault().asyncExec(new Runnable() {
- public void run() {
- WebBrowserUtil.openError(WebBrowserUIPlugin
- .getResource("%errorNoBrowser"));
- }
- });
- }
- }
+// public static void openURL(URL url) {
+// IWebBrowser browser = getCurrentWebBrowser();
+// if (browser != null)
+// browser.openURL(url);
+// else {
+// Display.getDefault().asyncExec(new Runnable() {
+// public void run() {
+// WebBrowserUtil.openError(WebBrowserUIPlugin
+// .getResource("%errorNoBrowser"));
+// }
+// });
+// }
+// }
}
\ No newline at end of file