X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FChanges.cpp;h=0d464d8fa26912b47e2dd74c78f2e0c70394366c;hb=d3c63f97c4fce4e091277ced6c1829473c311231;hp=fc05d1c42a96ff32b0d1dfb3ee67dd2d9c1c22da;hpb=d1dddde6d800834eb6b8c7626da4d251e7c74f08;p=lyx.git

diff --git a/src/Changes.cpp b/src/Changes.cpp
index fc05d1c42a..0d464d8fa2 100644
--- a/src/Changes.cpp
+++ b/src/Changes.cpp
@@ -22,6 +22,7 @@
 #include "MetricsInfo.h"
 #include "OutputParams.h"
 #include "Paragraph.h"
+#include "texstream.h"
 #include "TocBackend.h"
 
 #include "support/debug.h"
@@ -556,9 +557,9 @@ void Change::paintCue(PainterInfo & pi, double const x1, double const y,
 		return;
 	// Calculate 1/3 height of font
 	FontMetrics const & fm = theFontMetrics(font);
-	int const y_bar = int(deleted() ? y - fm.maxAscent() / 3
-		: y + 2 * pi.base.solidLineOffset() + pi.base.solidLineThickness());
-	pi.pain.line(int(x1), y_bar, int(x2), y_bar, color(),
+	double const y_bar = deleted() ? y - fm.maxAscent() / 3
+		: y + 2 * pi.base.solidLineOffset() + pi.base.solidLineThickness();
+	pi.pain.line(int(x1), int(y_bar), int(x2), int(y_bar), color(),
 	             Painter::line_solid, pi.base.solidLineThickness());
 }
 
@@ -575,20 +576,22 @@ void Change::paintCue(PainterInfo & pi, double const x1, double const y1,
 	 * y2 /_____
 	 *    x1  x2
 	 */
-	double y = 0;
 	switch(type) {
 	case UNCHANGED:
 		return;
 	case INSERTED:
-		y = y2;
-		break;
+		pi.pain.line(int(x1), int(y2) + 1, int(x2), int(y2) + 1,
+		             color(), Painter::line_solid,
+		             pi.base.solidLineThickness());
+		return;
 	case DELETED:
-		y = y1;
-		break;
+		// FIXME: we cannot use antialias since we keep drawing on the same
+		// background with the current painting mechanism.
+		pi.pain.line(int(x1), int(y2), int(x2), int(y1),
+		             color(), Painter::line_solid_aliased,
+		             pi.base.solidLineThickness());
+		return;
 	}
-	pi.pain.line(int(x1), int(y2), int(x2), int(y), 
-	             color(), Painter::line_solid,
-	             pi.base.solidLineThickness());
 }