Community
Participate
Working Groups
Follow up ticket from: https://bugs.eclipse.org/bugs/show_bug.cgi?id=548518 There's a big mess in quicksearch plugin.xml. It points to a potential issue in the platform (the mess was created in an apparant workaround to add a menu contribution to existing 'Search' menu in the proper way). It is possible the problem in platform has since been fixed in which case the workaround should be removed. Otherwise, a bug should be raised to fix it in platform (and then the workaround removed). See: https://git.eclipse.org/r/#/c/145336/6/org.eclipse.text.quicksearch/plugin.xml@18 https://git.eclipse.org/r/#/c/145336/6/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/ui/QuickSearchAction.java@23