intial source from http://www.sf.net/projects/wdte
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / org / eclipse / webbrowser / internal / SwitchDefaultBrowserAction.java
diff --git a/net.sourceforge.phpeclipse.webbrowser/src/org/eclipse/webbrowser/internal/SwitchDefaultBrowserAction.java b/net.sourceforge.phpeclipse.webbrowser/src/org/eclipse/webbrowser/internal/SwitchDefaultBrowserAction.java
deleted file mode 100644 (file)
index 4271d3f..0000000
+++ /dev/null
@@ -1,45 +0,0 @@
-/**
- * Copyright (c) 2003 IBM Corporation and others.
- * All rights reserved. This program and the accompanying materials
- * 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 org.eclipse.webbrowser.internal;
-
-import org.eclipse.jface.action.Action;
-import org.eclipse.webbrowser.IInternalWebBrowser;
-import org.eclipse.webbrowser.IWebBrowser;
-/**
- * Action to open the Web browser.
- */
-public class SwitchDefaultBrowserAction extends Action {
-       protected IWebBrowser webbrowser;
-
-       /**
-        * SwitchDefaultBrowserAction constructor comment.
-        */
-       public SwitchDefaultBrowserAction(IWebBrowser webbrowser, boolean current) {
-               super();
-               
-               this.webbrowser = webbrowser;
-               setText(webbrowser.getName());
-               if (webbrowser instanceof IInternalWebBrowser)
-                       setImageDescriptor(ImageResource.getImageDescriptor(ImageResource.IMG_INTERNAL_BROWSER));
-               else
-                       setImageDescriptor(ImageResource.getImageDescriptor(ImageResource.IMG_EXTERNAL_BROWSER));
-               
-               if (current)
-                       setChecked(true);
-       }
-
-       /**
-        * Implementation of method defined on <code>IAction</code>.
-        */
-       public void run() {
-               BrowserManager.getInstance().setCurrentWebBrowser(webbrowser);
-       }
-}
\ No newline at end of file