Community
Participate
Working Groups
In : Workbench User Guide > Tasks > Navigating and finding resources > Finding a resource quickly 3. "Matching Items", and not "Matching Resources"
New Gerrit change created: https://git.eclipse.org/r/85643
Thanks for the fix! Fixed with http://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=6b9a382c8e66448d5485afcc261d27ab1dcbffce