Community
Participate
Working Groups
Follow up ticket from: https://bugs.eclipse.org/bugs/show_bug.cgi?id=548518 See: https://git.eclipse.org/r/#/c/145336/6/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/ui/QuickSearchActivator.java@23