Hi,

this patch fixes a double-to-int conversion. (already committed)

Michael
Index: rowpainter.C
===================================================================
--- rowpainter.C	(Revision 16028)
+++ rowpainter.C	(Arbeitskopie)
@@ -48,7 +48,6 @@
 
 using std::endl;
 using std::max;
-using std::min;
 using std::string;
 
 
@@ -644,9 +643,9 @@
 		int const length = fm.maxAscent() / 2;
 		LColor::color col = par_.isInserted(par_.size()) ? LColor::newtext : LColor::strikeout;
 		
-		pain_.line(x_ + 1, yo_ + 2, x_ + 1, yo_ + 2 - length, col,
+		pain_.line(int(x_) + 1, yo_ + 2, int(x_) + 1, yo_ + 2 - length, col,
 		           Painter::line_solid, Painter::line_thick);
-		pain_.line(x_ + 1 - length, yo_ + 2, x_ + 1, yo_ + 2, col,
+		pain_.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1, yo_ + 2, col,
 		           Painter::line_solid, Painter::line_thick);
 	}
 

Reply via email to