Author: yradtsevich
Date: 2009-05-06 13:41:38 -0400 (Wed, 06 May 2009)
New Revision: 15085
Modified:
trunk/seam/plugins/org.jboss.tools.seam.ui/plugin.xml
Log:
RESOLVED - issue JBIDE-4051: Search menu has 2 shortcut keys
https://jira.jboss.org/jira/browse/JBIDE-4051
Modified: trunk/seam/plugins/org.jboss.tools.seam.ui/plugin.xml
===================================================================
--- trunk/seam/plugins/org.jboss.tools.seam.ui/plugin.xml 2009-05-06 16:50:43 UTC (rev
15084)
+++ trunk/seam/plugins/org.jboss.tools.seam.ui/plugin.xml 2009-05-06 17:41:38 UTC (rev
15085)
@@ -613,10 +613,14 @@
</toolbar>
</menuContribution>
<menuContribution
- locationURI="menu:org.eclipse.ui.main.menu?after=navigate">
+ locationURI="menu:org.eclipse.ui.main.menu?after=navigate">
+ <!-- Note: The menu (re-) definition has to be here due to bug: -->
+ <!-- see
http://bugs.eclipse.org/bugs/show_bug.cgi?id=15684 -->
+ <!-- =================================================================== -->
+ <!-- Search Menu -->
+ <!-- =================================================================== -->
<menu
label="%searchMenu.label"
- mnemonic="%searchMenu.label"
id="org.eclipse.search.menu">
<separator name="internalDialogGroup" visible="false"/>
<!-- not to be used by clients -->
<separator name="dialogGroup" visible="false"/>
<!-- to be used by clients -->