fix CodeMiningLineHeaderAnnotation#getMultilineHeight#2787

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

tobiasmelcher:editor_content_jumpstobiasmelcher/eclipse.platform.ui:editor_content_jumpsCopy head branch name to clipboard