Fix two warnings about conversion from double to int.

diff --git a/src/RowPainter.cpp b/src/RowPainter.cpp
index 83ff825796c6c1ede38062de2e2acda472efc7e9..4c9118d916fe37698c75778f92bca8efd68fe457 100644 (file)
--- 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_);
        }
 }