| commit | 67368d55e67253dcc8e3122de09e7fe77486fe8c | [log] [tgz] |
|---|---|---|
| author | angelozerr <angelo.zerr@gmail.com> | Tue Sep 25 14:56:21 2018 +0200 |
| committer | angelozerr <angelo.zerr@gmail.com> | Tue Sep 25 14:56:21 2018 +0200 |
| tree | bd8c2cf43887810807b5df78d989fed3c6195e0a | |
| parent | c830a13682e366a197a96dfe1b7ae47053a2673a [diff] |
Bug 539430 - [code mining] wrong line spacing for line header annotation Change-Id: Idc133c1331751789c22687e796c37b6626a586af Signed-off-by: angelozerr <angelo.zerr@gmail.com>
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 86001af..6075447 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 int getHeight() { StyledText styledText= super.getTextWidget(); - return styledText.getLineHeight(); + return styledText.getBaseline(); } int getRedrawnCharacterHeight() {