| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| defaultHandler="org.polarsys.esf.core.workspace.ui.commands.SwitchWorkspaceHandler" |
| id="org.polarsys.esf.core.workspace.switchworkspace" |
| name="%switchworkspace.command.name"> |
| </command> |
| </extension> |
| <extension |
| point="org.eclipse.ui.menus"> |
| <menuContribution |
| allPopups="false" |
| locationURI="menu:file?after=print-separator"> |
| <command |
| commandId="org.polarsys.esf.core.workspace.switchworkspace" |
| label="%switchworkspace.command.label" |
| style="push"> |
| </command> |
| </menuContribution> |
| </extension> |
| </plugin> |