Use correct font for highlighting matches in "Open Resource" dialog#3783

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

xpomul:bug-3782xpomul/eclipse.platform.ui:bug-3782Copy head branch name to clipboard