#1365431 (toshihiro) - PHP Editor crashes Windows with JavaScript 'windows.close()'

[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / internal / SwitchDefaultBrowserAction.java

diff --git a/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/SwitchDefaultBrowserAction.java b/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/SwitchDefaultBrowserAction.java
index a2bab5b..22d54c5 100644 (file)
--- a/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/SwitchDefaultBrowserAction.java
+++ b/net.sourceforge.phpeclipse.webbrowser/src/net/sourceforge/phpeclipse/webbrowser/internal/SwitchDefaultBrowserAction.java
@@ -4,7 +4,7 @@
  * 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
  */
@@ -14,6 +14,7 @@ import net.sourceforge.phpeclipse.webbrowser.IInternalWebBrowser;
 import net.sourceforge.phpeclipse.webbrowser.IWebBrowser;
 
 import org.eclipse.jface.action.Action;
+
 /**
  * Action to open the Web browser.
  */
@@ -25,14 +26,16 @@ public class SwitchDefaultBrowserAction extends Action {
         */
        public SwitchDefaultBrowserAction(IWebBrowser webbrowser, boolean current) {
                super();
-               
+
                this.webbrowser = webbrowser;
                setText(webbrowser.getName());
                if (webbrowser instanceof IInternalWebBrowser)
-                       setImageDescriptor(ImageResource.getImageDescriptor(ImageResource.IMG_INTERNAL_BROWSER));
+                       setImageDescriptor(ImageResource
+                                       .getImageDescriptor(ImageResource.IMG_INTERNAL_BROWSER));
                else
-                       setImageDescriptor(ImageResource.getImageDescriptor(ImageResource.IMG_EXTERNAL_BROWSER));
-               
+                       setImageDescriptor(ImageResource
+                                       .getImageDescriptor(ImageResource.IMG_EXTERNAL_BROWSER));
+
                if (current)
                        setChecked(true);
        }