diff options
Diffstat (limited to 'plugins')
3 files changed, 18 insertions, 1 deletions
diff --git a/plugins/developer/org.eclipse.papyrus.dev.project.management/META-INF/MANIFEST.MF b/plugins/developer/org.eclipse.papyrus.dev.project.management/META-INF/MANIFEST.MF index d9d0c94d5a8..f73e9f47371 100644 --- a/plugins/developer/org.eclipse.papyrus.dev.project.management/META-INF/MANIFEST.MF +++ b/plugins/developer/org.eclipse.papyrus.dev.project.management/META-INF/MANIFEST.MF @@ -3,6 +3,7 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.107.0,4.0.0)", org.eclipse.core.resources;bundle-version="[3.11.0,4.0.0)";visibility:=reexport, org.eclipse.papyrus.eclipse.project.editors;bundle-version="[2.0.0,3.0.0)", org.eclipse.papyrus.infra.tools;bundle-version="[2.0.0,3.0.0)", + org.eclipse.papyrus.infra.ui;bundle-version="[2.0.0,3.0.0)", org.eclipse.pde.ui;bundle-version="[3.9.0,4.0.0)", org.eclipse.ui.ide;bundle-version="[3.12.0,4.0.0)";visibility:=reexport Bundle-Vendor: %Bundle-Vendor diff --git a/plugins/developer/org.eclipse.papyrus.dev.project.management/plugin.xml b/plugins/developer/org.eclipse.papyrus.dev.project.management/plugin.xml index 9c23d1c7c68..9b29839bb59 100644 --- a/plugins/developer/org.eclipse.papyrus.dev.project.management/plugin.xml +++ b/plugins/developer/org.eclipse.papyrus.dev.project.management/plugin.xml @@ -61,7 +61,7 @@ point="org.eclipse.ui.menus"> <menuContribution allPopups="false" - locationURI="menu:org.eclipse.ui.main.menu?after=edit"> + locationURI="menu:org.eclipse.papyrus.developer.ui.menu?after=org.eclipse.papyrus.developer.ui.menu.separator"> <menu icon="icons/papyrus.png" label="Project management"> 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"> |