From 159afcfd925bc14f0a3280a9cab04038dce8aac9 Mon Sep 17 00:00:00 2001 From: Dirk Fauth Date: Thu, 23 Jun 2016 22:13:16 +0200 Subject: [PATCH] Bug 494508 - Show in local terminal only available in project explorer Added the menu contributions to popup:org.eclipse.jdt.ui.PackageExplorer?before=group.edit additionally to the ProjectExplorer contributions. Change-Id: I1438057d82389c332c3678a3568bf0706497b49f Signed-off-by: Dirk Fauth --- .../plugin.xml | 43 +++++++++++++++++ .../plugin.xml | 47 +++++++++++++++++++ 2 files changed, 90 insertions(+) diff --git a/plugins/org.eclipse.tm.terminal.connector.local/plugin.xml b/plugins/org.eclipse.tm.terminal.connector.local/plugin.xml index aec512a7e8e..da4ebe6b01e 100644 --- a/plugins/org.eclipse.tm.terminal.connector.local/plugin.xml +++ b/plugins/org.eclipse.tm.terminal.connector.local/plugin.xml @@ -65,6 +65,49 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/plugins/org.eclipse.tm.terminal.view.ui/plugin.xml b/plugins/org.eclipse.tm.terminal.view.ui/plugin.xml index d4470f277a3..db83344b7ff 100644 --- a/plugins/org.eclipse.tm.terminal.view.ui/plugin.xml +++ b/plugins/org.eclipse.tm.terminal.view.ui/plugin.xml @@ -239,6 +239,53 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +