commit 841d8343eafda4fe81e31ab744a5abb1de4c9072
author Andrew Eisenberg <andrew@eisenberg.as> Thu Jun 27 08:54:39 2013 -0700
committer Andrew Eisenberg <andrew@eisenberg.as> Thu Jun 27 08:54:39 2013 -0700
tree bad726958b4aa250263affab795e7e8ea5183205
parent 5d9a52dc8315226ed71bf0542f5ef3327ac1a7b0

Add back the ajnavigation action set

Avoid https://bugs.eclipse.org/bugs/show_bug.cgi?id=405296

org.eclipse.ajdt.ui/plugin.xml

diff --git a/org.eclipse.ajdt.ui/plugin.xml b/org.eclipse.ajdt.ui/plugin.xml
index 0a580f3..f1d5a2d 100755
--- a/org.eclipse.ajdt.ui/plugin.xml
+++ b/org.eclipse.ajdt.ui/plugin.xml
@@ -471,8 +471,16 @@
 <!-- Actions contributed by AspectJ to the Java perspective -->
    <extension
          point="org.eclipse.ui.actionSets">
-      
-        
+       <!--
+       this action set is deprecated and not used.
+       It can be removed when the following is fixed:
+       https://bugs.eclipse.org/bugs/show_bug.cgi?id=405296
+       -->
+       <actionSet
+            label="AspectJ Navigation (deprecated)"
+            visible="false"
+             id="ajnavigation">
+       </actionSet>
        <actionSet
             label="%ajelementCreation"
             visible="false"