1) Fixed issue #828: Non initialized variable warnings doesn't work with variables...
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / WebBrowser.java
index 9016046..a9b5b45 100644 (file)
@@ -4,27 +4,27 @@
  * are made available under the terms of the Common Public License v1.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/cpl-v10.html
- *
+ �*
  * Contributors:
  *    IBM - Initial API and implementation
  */
 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;
+
 /**
- * The main interface to the internal Web browser. If allows
- * you to query the file types supported by the Web browser
- * and open a URL.
+ * The main interface to the internal Web browser. If allows you to query the
+ * file types supported by the Web browser and open a URL.
  */
 public class WebBrowser {
        /**
@@ -35,9 +35,9 @@ public class WebBrowser {
        }
 
        /**
-        * Returns true if the internal Web browser is supported on this
-        * platform and the user has chosen to use it.
-        *
+        * Returns true if the internal Web browser is supported on this platform
+        * and the user has chosen to use it.
+        * 
         * @return boolean
         */
        public static boolean isUsingInternalBrowser() {
@@ -45,22 +45,22 @@ public class WebBrowser {
        }
 
        /**
-        * Display the given URL in a Web browser. If the user has chosen not
-        * to use the internal browser, an external browser will be used. If
-        * not, a browser in the current page will be reused if forceNewPage
-        * is not true and the user preference is not set. Finally, showToolbar
-        * will decide when the toolbar should be shown in the internal browser.
-        *
+        * Display the given URL in a Web browser. If the user has chosen not to use
+        * the internal browser, an external browser will be used. If not, a browser
+        * in the current page will be reused if forceNewPage is not true and the
+        * user preference is not set. Finally, showToolbar will decide when the
+        * toolbar should be shown in the internal browser.
+        * 
         * @param input
         */
        public static void openURL(final IWebBrowserEditorInput input) {
                Trace.trace(Trace.FINEST, "openURL() " + input);
                if (input == null)
                        return;
-       
+
                Display.getDefault().asyncExec(new Runnable() {
                        public void run() {
-                               if (!isUsingInternalBrowser()){
+                               if (!isUsingInternalBrowser()) {
                                        IWebBrowser browser = getCurrentWebBrowser();
                                        browser.openURL(input.getURL());
                                } else
@@ -74,9 +74,9 @@ public class WebBrowser {
         * 
         * @return
         */
-       public static List getWebBrowsers() {
-               return BrowserManager.getInstance().getWebBrowsers();
-       }
+//     public static List getWebBrowsers() {
+//             return BrowserManager.getInstance().getWebBrowsers();
+//     }
 
        /**
         * Return the current default web browser.
@@ -92,34 +92,36 @@ public class WebBrowser {
         * 
         * @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
+        * 
+        * @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