Fix caret of raw insert mode of text editor on HiDPI screens#3230

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

wahlbrink:fix-3010wahlbrink/eclipse.platform.ui:fix-3010Copy head branch name to clipboard