From 1db8e410e0cb2badefadfc3af625c2dce2d004e2 Mon Sep 17 00:00:00 2001
From: Kai Maetzel
Date: Wed, 7 Apr 2004 19:57:05 +0000
Subject: updated visual presentation of projection annotations

---
 .../jface/text/source/projection/ProjectionAnnotation.java | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionAnnotation.java b/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionAnnotation.java
index 2a0a7dcaa..dbaf8e897 100644
--- a/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionAnnotation.java
+++ b/org.eclipse.jface.text/projection/org/eclipse/jface/text/source/projection/ProjectionAnnotation.java
@@ -58,7 +58,12 @@ public class ProjectionAnnotation extends Annotation implements IAnnotationPrese
 	 * Creates a new projection annotation.
 	 */
 	public ProjectionAnnotation() {
+		this(false);
+	}
+	
+	public ProjectionAnnotation(boolean isCollapsed) {
 		super(TYPE, false, null);
+		fIsCollapsed= isCollapsed;
 	}
 	
 	public void setRangeIndication(boolean rangeIndication) {
@@ -94,7 +99,7 @@ public class ProjectionAnnotation extends Annotation implements IAnnotationPrese
 		int middleY= (upperY + lowerY)/2;
 		
 		if (isCollapsed()) {
-			Point upperLeft= new Point(leftX, upperY-1);
+			Point upperLeft= new Point(leftX, upperY - 1);
 			Point middleRight= new Point(rightX, middleY);
 			Point lowerLeft= new Point(leftX, lowerY);
 			return new int[] {upperLeft.x, upperLeft.y, middleRight.x, middleRight.y, lowerLeft.x, lowerLeft.y};
@@ -107,7 +112,7 @@ public class ProjectionAnnotation extends Annotation implements IAnnotationPrese
 	}
 	
 	private Rectangle computeRectangle(Rectangle rectangle, int lineHeight) {		
-		final int MARGIN= 1;
+		final int MARGIN= 2;
 		int leftX= rectangle.x + MARGIN;
 		int length= rectangle.width - 2*MARGIN;
 		int yDelta= (lineHeight - length)/2;
@@ -129,15 +134,16 @@ public class ProjectionAnnotation extends Annotation implements IAnnotationPrese
 			gc.setForeground(canvas.getDisplay().getSystemColor(COLOR));
 			gc.drawPolygon(polygon);
 			gc.setForeground(fg);
-			endPoint= new Point(polygon[polygon.length -2], polygon[polygon.length -1]);
+			endPoint= new Point(polygon[polygon.length -2], polygon[polygon.length -1] + 2);
 		}
 		return endPoint;
 	}
 	
 	private void paintRangeIndication(GC gc, Canvas canvas, Rectangle rectangle, Point startPoint) {
-		final int MARGIN= 1;
+		final int MARGIN= 3;
 		Color fg= gc.getForeground();
 		gc.setForeground(canvas.getDisplay().getSystemColor(COLOR));
+		gc.setLineWidth(1);
 		gc.drawLine(startPoint.x, startPoint.y, startPoint.x, rectangle.y + rectangle.height - MARGIN);
 		gc.drawLine(startPoint.x, rectangle.y + rectangle.height - MARGIN, rectangle.x + rectangle.width - MARGIN, rectangle.y + rectangle.height - MARGIN);
 		gc.setForeground(fg);
-- 
cgit v1.2.3