Fix multiline code mining height alignment with text widget lines#4035

BeckerWdf merged 2 commits into

eclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

tobiasmelcher:styled_text_line_heighttobiasmelcher/eclipse.platform.ui:styled_text_line_heightCopy head branch name to clipboard