Fix Icon Size in Text Editor Search Overlay#2952

HannesWell merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

Michael5601:Icon-Size-Text-Editor-SearchCopy head branch name to clipboard