Quick search fix#2541

fedejeanne merged 2 commits intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

jannisCode:Quick_search_fixjannisCode/eclipse.platform.ui:Quick_search_fixCopy head branch name to clipboard