From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Sun, 11 Jan 2015 16:13:36 +0000 (+0100)
Subject: Fix two warnings about conversion from double to int.
X-Git-Tag: 2.2.0alpha1~1362
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=6e519e7727f2d7f32a6f501fb4546bfab4c7f3b1;p=features.git

Fix two warnings about conversion from double to int.
---

diff --git a/src/RowPainter.cpp b/src/RowPainter.cpp
index 83ff825796..4c9118d916 100644
--- a/src/RowPainter.cpp
+++ b/src/RowPainter.cpp
@@ -442,16 +442,16 @@ int RowPainter::paintAppendixStart(int y)
 void RowPainter::paintTooLargeMarks(bool const left, bool const right)
 {
 	if (left)
-		pi_.pain.line(dotted_line_thickness_, yo_ - row_.ascent(),
-			      dotted_line_thickness_, yo_ + row_.descent(),
-			      Color_scroll,
-			      Painter::line_onoffdash, dotted_line_thickness_);
+		pi_.pain.line(int(dotted_line_thickness_), yo_ - row_.ascent(),
+					  int(dotted_line_thickness_), yo_ + row_.descent(),
+					  Color_scroll,
+					  Painter::line_onoffdash, dotted_line_thickness_);
 	if (right) {
-		int const wwidth = pi_.base.bv->workWidth() - dotted_line_thickness_;
+		int const wwidth = pi_.base.bv->workWidth() - int(dotted_line_thickness_);
 		pi_.pain.line(wwidth, yo_ - row_.ascent(),
-			      wwidth, yo_ + row_.descent(),
-			      Color_scroll,
-			      Painter::line_onoffdash, dotted_line_thickness_);
+					  wwidth, yo_ + row_.descent(),
+					  Color_scroll,
+					  Painter::line_onoffdash, dotted_line_thickness_);
 	}
 }