7fa5d87afd8a1b6aaa7c2648ce8f9440970ab34f
[phpeclipse.git] /
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 org.eclipse.webbrowser.internal;
12
13 import java.util.Iterator;
14
15 import org.eclipse.jface.viewers.ISelection;
16 import org.eclipse.jface.action.ActionContributionItem;
17 import org.eclipse.jface.action.IAction;
18 import org.eclipse.swt.events.MenuAdapter;
19 import org.eclipse.swt.events.MenuEvent;
20 import org.eclipse.swt.widgets.Control;
21 import org.eclipse.swt.widgets.Menu;
22 import org.eclipse.swt.widgets.MenuItem;
23 import org.eclipse.ui.*;
24 import org.eclipse.webbrowser.IWebBrowser;
25 /**
26  * Action to open the Web broswer.
27  */
28 public class SwitchBrowserWorkbenchAction implements IWorkbenchWindowPulldownDelegate2 {
29         /**
30          * The menu created by this action
31          */
32         private Menu fMenu;
33                 
34         protected boolean recreateMenu = false;
35
36         /**
37          * SwitchBrowserWorkbenchAction constructor comment.
38          */
39         public SwitchBrowserWorkbenchAction() {
40                 super();
41         }
42
43         public void dispose() {
44                 setMenu(null);
45         }
46         
47         /**
48          * Sets this action's drop-down menu, disposing the previous menu.
49          * 
50          * @param menu the new menu
51          */
52         private void setMenu(Menu menu) {
53                 if (fMenu != null) {
54                         fMenu.dispose();
55                 }
56                 fMenu = menu;
57         }
58
59         public void init(IWorkbenchWindow window) { }
60         
61         /**
62          * Adds the given action to the specified menu with an accelerator specified
63          * by the given number.
64          * 
65          * @param menu the menu to add the action to
66          * @param action the action to add
67          * @param accelerator the number that should appear as an accelerator
68          */
69         protected void addToMenu(Menu menu, IAction action, int accelerator) {
70                 StringBuffer label= new StringBuffer();
71                 if (accelerator >= 0 && accelerator < 10) {
72                         //add the numerical accelerator
73                         label.append('&');
74                         label.append(accelerator);
75                         label.append(' ');
76                 }
77                 label.append(action.getText());
78                 action.setText(label.toString());
79                 ActionContributionItem item= new ActionContributionItem(action);
80                 item.fill(menu, -1);
81         }
82         
83         /**
84          * Fills the drop-down menu with favorites and launch history,
85          * launch shortcuts, and an action to open the launch configuration dialog.
86          *
87          * @param menu the menu to fill
88          */
89         protected void fillMenu(Menu menu) {
90                 IWebBrowser current = BrowserManager.getInstance().getCurrentWebBrowser();
91                 Iterator iterator = BrowserManager.getInstance().getWebBrowsers().iterator();
92                 int i = 0;
93                 while (iterator.hasNext()) {
94                         IWebBrowser browser = (IWebBrowser) iterator.next();
95                         addToMenu(menu, new SwitchDefaultBrowserAction(browser, browser.equals(current)), i++);
96                 }
97         }
98
99         /**
100          * Creates the menu for the action
101          */
102         private void initMenu() {
103                 // Add listener to repopulate the menu each time
104                 // it is shown because of dynamic history list
105                 fMenu.addMenuListener(new MenuAdapter() {
106                         public void menuShown(MenuEvent e) {
107                                 //if (recreateMenu) {
108                                         Menu m = (Menu) e.widget;
109                                         MenuItem[] items = m.getItems();
110                                         for (int i = 0; i < items.length; i++) {
111                                                 items[i].dispose();
112                                         }
113                                         fillMenu(m);
114                                         recreateMenu = false;
115                                 //}
116                         }
117                 });
118         }
119
120         public void selectionChanged(IAction action, ISelection selection) { }
121         
122         public void run(IAction action) { }
123
124         public Menu getMenu(Menu parent) {
125                 setMenu(new Menu(parent));
126                 //fillMenu(fMenu);
127                 initMenu();
128                 return fMenu;
129         }
130
131         public Menu getMenu(Control parent) {
132                 setMenu(new Menu(parent));
133                 //fillMenu(fMenu);
134                 initMenu();
135                 return fMenu;
136         }
137 }