From 65312819007de641d03c23888b44b88717d7a8a1 Mon Sep 17 00:00:00 2001
From: stefanbjarni <stefanbjarni>
Date: Thu, 30 Jun 2005 23:05:46 +0000
Subject: [PATCH] Small fix to tidy up the run menu. Axel will likely roll this back once he gets more time to work on the external tools plug-in.

---
 .../plugin.xml                                     |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/net.sourceforge.phpeclipse.externaltools/plugin.xml b/net.sourceforge.phpeclipse.externaltools/plugin.xml
index dc0f107..08b75af 100644
--- a/net.sourceforge.phpeclipse.externaltools/plugin.xml
+++ b/net.sourceforge.phpeclipse.externaltools/plugin.xml
@@ -37,6 +37,7 @@
 	<extension-point id="refreshVariables" name="%ExtPoint.refreshVariables"/>
 	
 <!-- Extensions -->
+<!--
 	<extension point="org.eclipse.ui.actionSets">
 		<actionSet
 			id="net.sourceforge.phpdt.externaltools.ExternalToolsSet"
@@ -47,7 +48,7 @@
 				path="additions"> 
 				<separator name="ExternalToolsGroup"/> 
 			</menu> 
-	<!--		<action
+			<action
 				id="net.sourceforge.phpdt.externaltools.ExternalToolMenuDelegateMenu"
 				label="%Action.externalTools"
 				menubarPath="org.eclipse.ui.run/ExternalToolsGroup"
@@ -67,9 +68,10 @@
 				tooltip="%Action.externalToolsTip"
 				pulldown="true"
 				class="net.sourceforge.phpdt.externaltools.internal.menu.ExternalToolMenuDelegate">
-			</action> -->
+			</action> 
 		</actionSet>
 	</extension>
+-->
 
     <!-- Launch Configuration Extensions -->
     <extension point="org.eclipse.debug.core.launchConfigurationTypes">
-- 
1.7.1