diff options
author | Francois Le Fevre - CEA | 2016-11-21 16:22:49 +0000 |
---|---|---|
committer | Gerrit Code Review @ Eclipse.org | 2016-11-22 09:37:38 +0000 |
commit | 493b68b496186e07bca89485d01cb503c116ae75 (patch) | |
tree | fff3ecd45e82dabbdc94d794ece44017923bd60f /plugins/infra/ui/org.eclipse.papyrus.infra.ui | |
parent | 79bd0bf54e194d7b368879b14e6832c6532f4d69 (diff) | |
download | org.eclipse.papyrus-493b68b496186e07bca89485d01cb503c116ae75.tar.gz org.eclipse.papyrus-493b68b496186e07bca89485d01cb503c116ae75.tar.xz org.eclipse.papyrus-493b68b496186e07bca89485d01cb503c116ae75.zip |
Bug 507680 - [Toolsmiths][userxp] group the developer menu under the
Papyrus menu
-note they was a dependency between developer and papyrus core see
Manifest.MF
Change-Id: I52a63a82393f7c41d3aee9b72becdcc36358addb
Signed-off-by: Francois Le Fevre - CEA <francois.le-fevre@cea.fr>
Diffstat (limited to 'plugins/infra/ui/org.eclipse.papyrus.infra.ui')
-rw-r--r-- | plugins/infra/ui/org.eclipse.papyrus.infra.ui/plugin.xml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/plugins/infra/ui/org.eclipse.papyrus.infra.ui/plugin.xml b/plugins/infra/ui/org.eclipse.papyrus.infra.ui/plugin.xml index 638b14b0962..7fb7aa2dd3c 100644 --- a/plugins/infra/ui/org.eclipse.papyrus.infra.ui/plugin.xml +++ b/plugins/infra/ui/org.eclipse.papyrus.infra.ui/plugin.xml @@ -30,6 +30,22 @@ </menu> </menuContribution> </extension> + <extension + point="org.eclipse.ui.menus"> + + <menuContribution + allPopups="false" + locationURI="menu:org.eclipse.papyrus.ui.menu"> + + <menu + id="org.eclipse.papyrus.developer.ui.menu" + label="Developer tools" + tooltip="Tools dedicated for Papyrus developers"> + <separator name="org.eclipse.papyrus.developer.ui.menu.separator"/> + </menu> + </menuContribution> + </extension> + <extension point="org.eclipse.ui.menus"> |