Better event handling for browser preview refreshs in Wikipedia plugin
[phpeclipse.git] / net.sourceforge.phpeclipse.webbrowser / src / net / sourceforge / phpeclipse / webbrowser / internal / SwitchDefaultBrowserAction.java
1 /**
2  * Copyright (c) 2003 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Common Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/cpl-v10.html
7  *
8  * Contributors:
9  *    IBM - Initial API and implementation
10  */
11 package net.sourceforge.phpeclipse.webbrowser.internal;
12
13 import net.sourceforge.phpeclipse.webbrowser.IInternalWebBrowser;
14 import net.sourceforge.phpeclipse.webbrowser.IWebBrowser;
15
16 import org.eclipse.jface.action.Action;
17 /**
18  * Action to open the Web browser.
19  */
20 public class SwitchDefaultBrowserAction extends Action {
21         protected IWebBrowser webbrowser;
22
23         /**
24          * SwitchDefaultBrowserAction constructor comment.
25          */
26         public SwitchDefaultBrowserAction(IWebBrowser webbrowser, boolean current) {
27                 super();
28                 
29                 this.webbrowser = webbrowser;
30                 setText(webbrowser.getName());
31                 if (webbrowser instanceof IInternalWebBrowser)
32                         setImageDescriptor(ImageResource.getImageDescriptor(ImageResource.IMG_INTERNAL_BROWSER));
33                 else
34                         setImageDescriptor(ImageResource.getImageDescriptor(ImageResource.IMG_EXTERNAL_BROWSER));
35                 
36                 if (current)
37                         setChecked(true);
38         }
39
40         /**
41          * Implementation of method defined on <code>IAction</code>.
42          */
43         public void run() {
44                 BrowserManager.getInstance().setCurrentWebBrowser(webbrowser);
45         }
46 }