From 67368d55e67253dcc8e3122de09e7fe77486fe8c Mon Sep 17 00:00:00 2001
From: angelozerr
Date: Tue, 25 Sep 2018 14:56:21 +0200
Subject: Bug 539430 - [code mining] wrong line spacing for line header
 annotation

Change-Id: Idc133c1331751789c22687e796c37b6626a586af
Signed-off-by: angelozerr <angelo.zerr@gmail.com>---
 .../src/org/eclipse/jface/text/source/inlined/LineHeaderAnnotation.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/LineHeaderAnnotation.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/LineHeaderAnnotation.java
index 86001af2f27..607544798fb 100644
--- a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/LineHeaderAnnotation.java
+++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/LineHeaderAnnotation.java
@@ -46,7 +46,7 @@ public class LineHeaderAnnotation extends AbstractInlinedAnnotation {
 	 */
 	public int getHeight() {
 		StyledText styledText= super.getTextWidget();
-		return styledText.getLineHeight();
+		return styledText.getBaseline();
 	}
 
 	int getRedrawnCharacterHeight() {
-- 
cgit v1.2.3