diff options
author | angelozerr | 2018-11-19 17:07:12 +0000 |
---|---|---|
committer | angelozerr | 2018-11-19 17:08:19 +0000 |
commit | 66e22caacafdfe48f7561114f1ae7c347fc0079c (patch) | |
tree | 0c20e1f843e63f87c5bed225d8e7139a249791fd | |
parent | 0cbe3ef0a78e36bccb3a9f2fd90594e87f4896b5 (diff) | |
download | eclipse.platform.text-R4_10_maintenance.tar.gz eclipse.platform.text-R4_10_maintenance.tar.xz eclipse.platform.text-R4_10_maintenance.zip |
Bug 540448 - [code mining] How to create code minings at the end of theY20181205-2200Y20181204-0315Y20181128-2200Y20181121-2200S4_10_0_RC2S4_10_0_RC1S4_10_0_M3R4_10I20181206-0815I20181206-0320I20181206-0225I20181206-0030I20181205-1800I20181205-0600I20181204-1800I20181204-0600I20181203-1800I20181203-0600I20181202-1800I20181202-0600I20181201-1800I20181201-0600I20181130-1800I20181129-0330I20181128-1800I20181128-1105I20181128-0810I20181128-0600I20181128-0130I20181127-1800I20181127-0600I20181126-1800I20181126-0940I20181126-0600I20181126-0140I20181125-1800I20181125-0600I20181124-1800I20181124-0600I20181123-1800I20181121-1800I20181121-0910I20181121-0600I20181120-1800I20181120-0600I20181119-2315I20181119-1800R4_10_maintenance
line
Signed-off-by: angelozerr <angelo.zerr@gmail.com>
-rw-r--r-- | org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java index 97975cc2995..a4907e9eb33 100644 --- a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java +++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java @@ -163,7 +163,13 @@ class InlinedAnnotationDrawingStrategy implements IDrawingStrategy { annotation.draw(gc, textWidget, offset, length, color, x, y); int width= annotation.getWidth(); if (width != 0) { - if (!isEndOfLine) { + if (isEndOfLine) { + if (!gc.getClipping().contains(x, y)) { + // The draw of mining is not inside the gc clipping, redraw the area which contains the mining to draw. + Rectangle client= textWidget.getClientArea(); + textWidget.redraw(x, y, client.width, bounds.height, false); + } + } else { // Get size of the character where GlyphMetrics width is added Point charBounds= gc.stringExtent(s); int charWidth= charBounds.x; |