Small fix to tidy up the run menu. Axel will likely roll this back once he gets more...

[phpeclipse.git] / net.sourceforge.phpeclipse / plugin.xml

diff --git a/net.sourceforge.phpeclipse/plugin.xml b/net.sourceforge.phpeclipse/plugin.xml
index 1a46707..89492e4 100644 (file)
--- a/net.sourceforge.phpeclipse/plugin.xml
+++ b/net.sourceforge.phpeclipse/plugin.xml
@@ -104,10 +104,9 @@
    
   <extension
        point="org.eclipse.ui.decorators">
- <!--
        <decorator
                label="%ProblemsLabelDecorator.label"
-               state="false"
+               state="true"
                lightweight="true"
                location="BOTTOM_LEFT"
                class="net.sourceforge.phpdt.ui.ProblemsLabelDecorator"
@@ -122,11 +121,10 @@
                                </objectClass>         
                                <objectClass
                                        name="net.sourceforge.phpdt.core.IJavaElement">
-                               </objectClass>
+                               </objectClass> 
                        </or>                
                </enablement>
        </decorator>
-       -->
        <decorator
                label="%OverrideIndicatorLabelDecorator.label"
                lightweight="true"
@@ -1503,7 +1501,7 @@
        <extension-point id="refreshVariables" name="%ExtPoint.refreshVariables"/>
        
 <!-- Extensions -->
-       <extension point="org.eclipse.ui.actionSets">
+       <!--<extension point="org.eclipse.ui.actionSets">
                <actionSet
                        id="net.sourceforge.phpdt.externaltools.ExternalToolsSet"
                        label="%ActionSet.externalTools"
@@ -1513,7 +1511,7 @@
                                path="additions"> 
                                <separator name="ExternalToolsGroup"/> 
                        </menu> 
-       <!--            <action
+                       <action
                                id="net.sourceforge.phpdt.externaltools.ExternalToolMenuDelegateMenu"
                                label="%Action.externalTools"
                                menubarPath="org.eclipse.ui.run/ExternalToolsGroup"
@@ -1533,9 +1531,9 @@
                                tooltip="%Action.externalToolsTip"
                                pulldown="true"
                                class="net.sourceforge.phpdt.externaltools.internal.menu.ExternalToolMenuDelegate">
-                       </action> -->
+                       </action> 
                </actionSet>
-       </extension>
+       </extension> -->
 
     <!-- Launch Configuration Extensions -->
     <extension point="org.eclipse.debug.core.launchConfigurationTypes">