blob: 53d91e34d954be89d937805ef8922e8b397dc6a5 [file] [log] [blame]
Jonathan Dumont2fa27b02015-11-18 10:46:57 +01001<?xml version="1.0" encoding="UTF-8"?>
2<?eclipse version="3.4"?>
3<plugin>
4 <extension
5 point="org.eclipse.ui.commands">
6 <command
7 defaultHandler="org.polarsys.esf.core.workspace.ui.commands.SwitchWorkspaceHandler"
8 id="org.polarsys.esf.core.workspace.switchworkspace"
9 name="%switchworkspace.command.name">
10 </command>
11 </extension>
12 <extension
13 point="org.eclipse.ui.menus">
14 <menuContribution
15 allPopups="false"
16 locationURI="menu:file?after=print-separator">
17 <command
18 commandId="org.polarsys.esf.core.workspace.switchworkspace"
19 label="%switchworkspace.command.label"
20 style="push">
21 </command>
22 </menuContribution>
23 </extension>
24</plugin>